Hardware Emulation for Functional Verification of K5.
Gopi GanapathyRam NarayanGlenn JordenDenzil FernandezMing WangJim NishimuraPublished in: DAC (1996)
Keyphrases
- functional verification
- hardware software
- hardware and software
- low cost
- low latency
- embedded systems
- real time
- hardware implementation
- computing systems
- massively parallel
- formal verification
- memory management
- image processing
- genetic programming
- mobile devices
- parallel algorithm
- data processing
- field programmable gate array
- source code
- database systems