Mohamad, N. and Ooi, C. Y. and Ismail, N. and Teh, J. (2016) SVA checker generator for FPGA-based verification platform. In: 2016 IEEE International Symposium on Circuits and Systems, ISCAS 2016, 22 May 2016 through 25 May 2016, Canada.
Full text not available from this repository.
Official URL: https://www.scopus.com/inward/record.uri?eid=2-s2....
Abstract
This paper discusses development of FPGA-based verification platform which consists of System' Verilog assertion (SVA) checker generator to synthesize SVA into Verilog code. We derive a lookup table that consists of SVA operators and their corresponding synthesizable RTL coding. Assertion checker produces single bit-1 which indicates an assertion fails while assertion collection modules must be simple and fast enough to collect the assertion results from assertion checker. In our work, collection module is implemented as arbiter and memory blocks. Case studies have been conducted on 8-bit counter and 8-bit FIFO with 10 assertions and 8 design bugs. Comparison has been done with assertion checker derived from MBAC approach in terms of checker's size. The comparison has showed that the checker size can be reduced further for 17.39%.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Uncontrolled Keywords: | assertion, FPGA, SystemVerilog, verification |
| Subjects: | T Technology > T Technology (General) |
| Divisions: | Malaysia-Japan International Institute of Technology |
| ID Code: | 73107 |
| Deposited By: | Muhammad Atiff Mahussain |
| Deposited On: | 29 Nov 2017 23:58 |
| Last Modified: | 29 Nov 2017 23:58 |
Repository Staff Only: item control page
