Title | ||
---|---|---|
A practice of ESL verification methodology from SystemC to FPGA: using EPC class-1 generation-2 RFID tag design as an example |
Abstract | ||
---|---|---|
This paper presents the first published industrial practice (to the best of our knowledge) to reuse high-level/C++ system simulation model through OSCI TLM 2.0 Library to verify its corresponding RTL implementation in FPGA. ESL verification methodology is employed in the design regression of EPC C1Gen2 RFID tag. Around 200 times speedup is observed using ESL over conventional RTL simulation in regression runs (after logic bug fixes). This clearly shows ESL verification is a successful candidate to reuse high-level test harness for IC functional verification, especially in today's increasingly complex IC design world. On top of the successful use of the ESL functional verification flow on the design, we also show the infrastructure to use SystemC Verification Library (SCV) for formal verification. The functional and formal verification combined is thus the proposed ESL verification methodology.
|
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/ASPDAC.2010.5419778 | ASP-DAC |
Keywords | Field | DocType |
proposed esl verification methodology,ic functional verification,complex ic design world,esl verification methodology,corresponding rtl implementation,esl verification,epc class-1 generation-2,design regression,conventional rtl simulation,esl functional verification flow,rfid tag design,formal verification,integrated circuit design,image recognition,logic design,soc,computer bugs,functional verification,field programmable gate arrays,logic simulation,rfid tag | Functional verification,Computer architecture,Computer science,Intelligent verification,Electronic system-level design and verification,Physical verification,Electronic engineering,SystemC,High-level verification,Embedded system,Formal verification,Software verification | Conference |
ISSN | ISBN | Citations |
2153-6961 | 978-1-60558-837-7 | 1 |
PageRank | References | Authors |
0.36 | 11 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
W. M. Young | 1 | 1 | 0.36 |
Chua-huang Huang | 2 | 281 | 35.34 |
Alan P. Su | 3 | 24 | 4.73 |
Chewnpu Jou | 4 | 101 | 13.34 |
Fu-Lung Hsueh | 5 | 98 | 13.23 |