Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1109/QRS-C.2019.00091 | 2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C) |
Keywords | Field | DocType |
FPGA,Assertion,Fault diagnosis | Aerospace,Observability,Controllability,Computer science,Assertion,Field-programmable gate array,Fpga design,Dynamic testing,Embedded system | Conference |
ISBN | Citations | PageRank |
978-1-7281-3926-5 | 0 | 0.34 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Shasha Zhang | 1 | 0 | 0.34 |
Liang Cao | 2 | 0 | 0.34 |