Template code generator for design verification based on universal verification methodology
In recent years, the semiconductor industry has been showing advanced growth driven by the increasing demand for electronic devices such as smartphones, laptops, tablets and other consumer electronics. Given their extensive applications, the need for higher performance and efficiency requirements has led to smart and innovative development of complex designs, resulting in a more challenging verification process. With the highest workload (around 70%) on verification, adopting tools and methodologies such as Universal Verification Methodology (UVM) is critical to enhance the quality of the design and increase the time-to-market with no defects. UVM is a SystemVerilog based architecture that provides a library to establish robust verification environments. It enables the use of customizable modular and reusable components and testbenches. To reduce the verification time and effort, this master thesis proposes a UVM code generator which instantiates the essential infrastructure for UVM verification components and creates the necessary directory structure for the codes and the files. Given the design input and UVM template files, the code generator will compose the building blocks such as the interfaces and UVM verification components (UVC), environments and testbenches that will connect the Design Under Test (DUT) to the UVCs. The UVM standard structure and proper encapsulation will be adopted to allow for flexible modification and reusability in top level verification environments. To ensure its correct functionality, the tool will be tested on a simple AHB SRAM Controller that manages access to a single port SRAM interface. Constrained random tests will be provided including the necessary checks to get full coverage on the design. Overall, the work on the template code generator enables the automation of block level verification using UVM by providing the verification engineers with the completed testbench and environment to test the DUT.
...
Keywords
Metadata
Show full item recordCollections
- Pro gradu -tutkielmat [29054]
License
Related items
Showing items with similar title or keywords.
-
Methodology Development in Adult Learning Research : Combining Physiological Reactions and Learning Experiences in Simulation-Based Learning Environments
Silvennoinen, Minna; Vesisenaho, Mikko; Manu, Mari; Kullberg, Tiina; Malinen, Anita; Parviainen, Tiina (IATED, 2020)We aim to clarify whether physiological measurement technologies can be used in combination with traditional educational research methods to investigate learning experience. We developed an interdisciplinary research design ... -
Precise delay generation using differential-input delay cells used in delay-locked-loop
Nahid, Hasan, MD (2023)With the advancement of technology, integrated circuits became smaller and faster with ever-decreasing technology nodes. The voltage headroom to work with analog circuits became smaller with the downscaling and it paved ... -
Low-Power, Subthreshold Reference Circuits for the Space Environment : Evaluated with γ-rays, X-rays, Protons and Heavy Ions
Andreou, Charalambos M.; González-Castaño, Diego Miguel; Gerardin, Simone; Bagatin, Marta; Rodriguez, Faustino Gómez; Paccagnella, Alessandro; Prokofiev, Alexander V.; Javanainen, Arto; Virtanen, Ari; Liberali, Valentino; Calligaro, Cristiano; Nahmad, Daniel; Georgiou, Julius (MDPI AG, 2019)The radiation tolerance of subthreshold reference circuits for space microelectronics is presented. The assessment is supported by measured results of total ionization dose and single event transient radiation-induced ... -
Dealing with Complexity in Design Science Research : A Methodology Using Design Echelons
Tuunanen, Tuure; Winter, Robert; vom Brocke, Jan (Society for Management Information Systems, 2024)Design science research (DSR) aims to generate knowledge about innovative solutions to real-world problems. Consequently, DSR needs to deal with the complexity related to problem and solution spaces involving sociotechnical ... -
Generating learning material in an e-learning environment : an experiment with the SCO generator
Liimatainen, Maarit (2008)