Security and Fault Diagnosis-Based Assertion-Based Verification for FPGA
Shasha Zhang, Liang Cao · 2019
With a large number of applications of FPGA in aerospace projects, FPGA verification attracts increasing attention. Nowadays, simulation verification method is adopted in dynamic testing of FPGA according to the requirements document. Assertion-based verification (ABV) has better observability and controllability, which effectively supplements simulation verification. Choosing appropriate functions or scenarios in FPGA testing to use assertions for fault diagnosis can effectively improve the security of FPGA design.