Hybrid verification of a hardware modular reduction engine.
Jun SawadaPeter SandonViresh ParuthiJason BaumgartnerMichael L. CaseHari MonyPublished in: FMCAD (2011)
Keyphrases
- hardware designs
- low cost
- real time
- image processing
- hardware and software
- model checking
- hardware implementation
- hybrid learning
- hardware architecture
- computer systems
- verification method
- case study
- general purpose
- parallel hardware
- modular structure
- hybrid approaches
- control program
- software implementation
- hardware design
- signature verification
- massively parallel
- computing systems
- personal computer
- expert systems