Implementation and Verification of Synchronous FIFO using System Verilog Verification Methodology
Abstract
Developing complex nature of patterns & concurrency of Integrated Circuits has made conventional coordinated test- benches an unworkable answer for testing. Nowadays, testing as a word has been substituted with check. Confirmation specialists need to guarantee what goes to the plant for assembling is an exact representation of the specification of configuration. Verification is the maximum time consuming stage in the whole design process, thus it has become a necessity to minimize the time required to encounter the confirmation necessities. The relentless growth in the complexity of the system, has led to the requirement of a more advanced, well organized and automated approach for creating verification environments. As the designs gets complex, the probability of occurrence of bugs increases. This nеcеssitatеd the introduction of the verification phase for verifying the functionality of the IC and to detect the bugs at an early stage. In this paper, the synchronous FIFO design is verified using System Verilog Verification Environment.Â
Keywords
Full Text:
PDFReferences
Chris Spear, “SystemVerilog for Verificationâ€, Springer, Vol 1 pp. 1-5, 2005.
Janick Bergeron, “Writing Testbenches Using SystemVerilog†Springer, Vol I pp. 1-10 , 2006
Takimoto, Y., “Recent activities on millimeter wave indoor LAN system development in Japan," Dig. IEEE Microwave Theory and Techniques Society Int. Symp., 405-408, Jun. 1995.
Bergeron, Janick, Writing testbenches: functional verification of HDL models, Springer, Edition 2003.
Wang, Xin, Tapani Ahonen, and Jari Nurmi, "A synthesizable RTL design of asynchronous FIFOâ€, System-on-Chip Proceedings. 2004 International Symposium on. IEEE, pp. 123-128, 2004.
Yakovlev, Alexandre V., Albert M. Koelmans, and Luciano Lavagno. "High-level modeling and design of asynchronous interface logic." IEEE Design & Test of Computers, Vol 12.1, pp 32-40, 1995.
K.K. Yi, “The Design of a Self-Timed Low Power FIFO Using a Word-Slice Structureâ€, M.Phil Thesis, University of Manchester, September 1998.
Chelceq T., Nowick, S.M., “Low-latency asynchronous FIFO’s using token ringsâ€, Advanced Research in Asynchronous Circuits and Systems, Proceedings. Sixth International Symposium, Vol 2-6 , pp 210 – 220, April 2000.
Andreas Meyer, “Principles of Functional Verification†Vol I, pp. 1-10, 2004.
Doulos Ltd, “SystemVerilog Golden Reference Guide†Vol II, pp. 1-11, 2003.
J. Bergeron, E. Cerny, A. Hunter, and A. Nightingale, “Verification Methodology Manual for System Verilog.â€, Springer, 2006.
Synopsys, “System Verilog Assertions Checker Library Quick Referenceâ€, April, 2006.
S. Vijayaraghavan and M. Ramanathan, “A Practical Guide for System Verilog Assertionsâ€. Springer, 2005.
Keaveney, M., McMahon, A., O'Keeffe, N., Keane, K., & O'Reilly, J. “The development of advanced verification environments using system verilog.â€, Signals and Systems Conference, 208.(ISSC 2008), pp. 325-330, 2008.
DOI: http://dx.doi.org/10.22385/jctecs.v2i0.19