Documente Academic
Documente Profesional
Documente Cultură
_______________________________________________________________________________________________
Verification is different from design but it requires level of abstraction to design and verification. The
complete knowledge of the design. A primary purpose language enhancements in System Verilog provide more
of functional verification is about finding failures concise hardware descriptions, while still providing an
identifying bugs and correcting before they are mapped easy route with existing tools into current hardware
into the IC [1]. implementation flows.
As electronics market is changing swiftly and its In the late 1990s, the Verilog Hardware Description
growth being enormous it induces designers to go for Language (HDL) became the most widely used language
complex IC design and packing them into small for describing hardware for simulation and synthesis.
spaces. So systems on chip (SOC) are developed. 70 % However, the first two versions standardized by the
of design effort goes to verification. Checking of IEEE(1364-1995 and 1364-2001) had only simple
complex design, preserving intellectual property (IP), constructs for creating tests. As design sizes outgrew the
testing of SOC makes verification a difficult task. So in verification capabilities of the language, commercial
industry the number of verification engineers is much Hardware Verification Languages (HVL) such as Open
more than RTL designers [1]. Vera and e were created. Companies that did not want to
pay for these tools instead spent hundreds of man-years
In general IP Verification requires in depth verification
creating their own custom tools [1]. This productivity
with coverage based and constraint random simulation
crisis (along with a similar one on the design side) led to
technique, which needs an advanced test bench equipped
the creation of Accellera, a consortium of EDA
with various components such as coverage monitors and
companies and users who wanted to create the next
scoreboards. But if an IP was fully verified before and
generation of Verilog. The donation of the OpenVera
has a minor design change, it is not necessary to verify
language formed the basis for the HVL features of
all features in detail. A few directed cases and simple
System Verilog. Accellera’s goal was met in November
checkers might be sufficient.
2005 with the adoption of the IEEE standard P1800-
Except for simple cases, the behavioral specification of 2005 for System Verilog, IEEE (2005).
hardware designs is mostly incomplete, leaving the
System Verilog is an extension of the popular Verilog
design’s response to many input stimuli undefined.
language (verilog-2001) with all features of Verilog
During verification, unspecified inputs must be excluded
included [2]. The language is a good stepping stone
from examination to avoid undetermined or spurious
from
erroneous behavior. In a simulation based verification
setting, the concept of a “test bench” is applied to Verilog to OOP, reusing a fair amount of the Verilog
specify valid input sequences as well as the expected syntax. Therefore, the taking up process of System
design responses for them. Verilog is very fast causing designers and verification
engineers to find it very friendly and easy to use.
III. QUESTA SIM TOOL
Following are the key features that separate other
In the above project we are using tool which name is Hardware
Questa sim. It is the latest tool in Mentor Graphics tool
suite for Functional Verification. This tool provides Description Languages such as Verilog or VHDL [2]
simulation support for latest standards of System C, • Features inherited from Verilog HDL,VHDL,C
System Verilog, Verilog and VHD[7].
• Constrained-random stimulus generation
• It supports for advanced verification features like
• Functional coverage
• Coverage databases
• Interfaces
• Coverage driven verification
• Assertions
• Working with assertions
• Higher-level structures, especially object-
• SV constrained- random functionality oriented programming.
IV. SYSTEM VERILOG LANGUAGE • Multithreading and interprocess communication.
In project we are using System Verilog • Support for HDL types such as Verilog’s 4-state
programming language. System Verilog provides a values.
complete verification environment, employing Directed
and Constraint Random[2]. System Verilog includes a synthesizable subset, an
assertions language, a constraint language, a coverage
Generation, Assertion Based Verification and Coverage language and an OOP language. This absorption helps to
Driven Verification. These methods improve the provide a complete verification environment including
verification process dramatically. System Verilog is Constraint Random Generation, Assertion Based
built on top of Verilog 2001[2]. System Verilog Verification and Coverage Driven Verification.
improves the productivity, readability, and reusability of
Verilog based code. System Verilog brings a higher
_______________________________________________________________________________________________
ISSN (Print): 2278-8948, Volume-6 Issue-1_2, 2017
8
International Journal of Advance Electrical and Electronics Engineering (IJAEEE)
_______________________________________________________________________________________________
_______________________________________________________________________________________________
ISSN (Print): 2278-8948, Volume-6 Issue-1_2, 2017
10
International Journal of Advance Electrical and Electronics Engineering (IJAEEE)
_______________________________________________________________________________________________
_______________________________________________________________________________________________
ISSN (Print): 2278-8948, Volume-6 Issue-1_2, 2017
11