r-map: Relating Implementation and Specification in Hardware Refinement Checking.
Wenji FangGuangyu HuHongce ZhangPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases
- hardware implementation
- software implementation
- low cost
- graphics cards
- circuit design
- specification language
- vlsi implementation
- real time
- hardware architecture
- general purpose
- computing platform
- parallel implementation
- dedicated hardware
- hardware and software
- high level
- data sets
- graphics processors
- highly modular
- vlsi architecture
- computing power
- formal specification
- power consumption
- information systems