Timing verification of dynamically reconfigurable logic for the xilinx virtex FPGA series.
Ian RobertsonJames IrvinePatrick LysaghtDavid RobinsonPublished in: FPGA (2002)
Keyphrases
- xilinx virtex
- asynchronous circuits
- field programmable gate array
- hardware implementation
- hardware architecture
- model checking
- verification method
- real time
- scheduling problem
- high speed
- image processing algorithms
- parallel computing
- information systems
- pattern recognition
- embedded systems
- hardware design
- computer vision
- machine learning