ALIFRouter: A Practical Architecture-Level Inter-FPGA Router for Logic Verification.
Zhen ZhuangXing HuangGenggeng LiuWenzhong GuoWeikang QianWen-Hao LiuPublished in: DATE (2021)
Keyphrases
- software implementation
- hardware architecture
- real time
- hardware implementation
- hardware design
- systolic array
- low cost
- model checking
- asynchronous circuits
- real world
- verification method
- fpga implementation
- parallel architecture
- dedicated hardware
- management system
- logic programming
- hardware architectures
- classical logic
- automated reasoning
- modal logic
- real time image processing
- higher level
- reasoning engine
- fpga device
- packet switching
- pipelined architecture