0% found this document useful (0 votes)
15 views2 pages

SV Commands

Uploaded by

jerinkakkurumpil
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as TXT, PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
15 views2 pages

SV Commands

Uploaded by

jerinkakkurumpil
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as TXT, PDF, TXT or read online on Scribd
You are on page 1/ 2

/////////////////////////////////

*******SION SEMICONDUCTORS*******
/////////////////////////////////

Commands list:

1):-For sample code compilation, simulation commands

2):-Steps for code coverage compilation, simulation commands

3):-Steps for code coverage compilation, simulation commands

4):-Assertions code compilation/simulation commands

____________________________________

vlib work // create work command

vlog filename.sv //compilation command

vsim top_module_name //simualtion

vsim module_name -l any_name_for_logfile.log // for saving transcript result in


log filename

do run.do // In do file, write all the commands(compile cmd, simulation cmd, addto
wave cmd, run-all cmd) in transcript type dis command

_____________________________

For code coverage

compile all

vlog -coveropt 3 +cover +acc dut_filename.sv top_module_filename.sv

vsim -coverage -novopt top_modulename

check analysis window with selecting diff types of code coverage

check instance coverage window

generate code coverage text report (Tools->coverage report -> Text format->select
appendtofile)

0r

else generate html coverage report (Tools->coverage report - html format)

______________________________
For functional coverage

compile all

vlog -coveropt 3 +cover +acc dut_filename.sv top_module_filename.sv

vsim -coverage -novopt top_modulename

Analysis covergroup window check how many bits r hitted

Generate html coverage report (Tools->coverage report - html format)

vlog -coveropt 3 +cover +acc flash_top1.sv; vsim -coverage flash_top; run -all

____________________________

For assertion commands

compile all

vlog +acc filename.sv

vsim -assertdebug top_module_name

view -> coverage -> click on assertions -> open assertion window -> select
assertion labels -> add to -> objects in design

run -all

check assertion flags on waveforms

Green flag - assertion passed

Red flag -assertion failed

Blue flag - assertion inactive

vlog +acc flash_top1.sv;vsim -assertdebug flash_top; run -all

_____________________________

********

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy