Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition.
Saranyu ChattopadhyayFlorian LonsingLuca PiccolboniDeepraj SoniPeng WeiXiaofan ZhangYuan ZhouLuca P. CarloniDeming ChenJason CongRamesh KarriZhiru ZhangCaroline TrippelClark W. BarrettSubhasish MitraPublished in: FMCAD (2021)
Keyphrases
- functional decomposition
- digital circuits
- field programmable gate array
- hardware designs
- boolean functions
- model checking
- low cost
- real time
- finite state machines
- computer systems
- asymptotic analysis
- embedded systems
- logic circuits
- database
- image processing
- hidden markov models
- square root
- asymptotically optimal
- parallel implementation
- computing systems
- model based diagnosis
- signal processing
- circuit design
- massively parallel
- multistage