Equivalence Verification of FPGA and Structured ASIC Implementations.
Joachim PistoriusMike HuttonJay SchleicherMihail IotovEnoch JuliasKumara TharmalingamPublished in: FPL (2007)
Keyphrases
- hardware implementation
- hardware architecture
- software implementation
- single chip
- hardware architectures
- efficient implementation
- xilinx virtex
- field programmable gate array
- general purpose processors
- model checking
- signal processing
- high speed
- structured data
- hardware design
- general purpose
- design methodology
- fpga implementation
- low power
- fpga technology
- low cost
- fpga device
- dedicated hardware
- face verification
- integrated circuit
- real time image processing
- asynchronous circuits
- verification method
- design process
- signature verification
- temporal logic
- real time