sakop - Online sa Cloud

PROGRAMA:

NAME

Sakop - Verilog Code Coverage Analyzer

SINTAX

may takip [global_options] puntos [pagpipilian]
may takip [global_options] pagsamahin [pagpipilian] existing_database database_to_merge+
may takip [global_options] ulat [pagpipilian] database_file
may takip [global_options] ranggo [pagpipilian] database_to_rank database_to_rank+
may takip [global_options] huwag isama [pagpipilian] exclusion_id+ database_file

DESCRIPTION

May takip ay isang Verilog code coverage analysis tool na maaaring maging kapaki-pakinabang para sa pagtukoy kung paano
well isang diagnostic test suite ay sumasaklaw sa disenyo sa ilalim ng pagsubok. Sakop na mga nabasa sa
Verilog design files at isang VCD, LXT2 o FST na naka-format na dumpfile mula sa isang diagnostic run at
bumubuo ng isang database file na tinatawag na Coverage Description Database (CDD) file, gamit ang
utos ng puntos. Ang score command ng Covered ay maaaring gamitin bilang alternatibo upang makabuo ng CDD file
at isang Verilog module para sa paggamit ng Covered bilang isang VPI module sa isang testbench na maaaring makuha
impormasyon sa saklaw na kahanay ng simulation (tingnan GAMIT NAKATABUNG AS A VPI MODYUL). Ang
ang resultang CDD file ay maaaring isama sa iba pang mga CDD file mula sa parehong disenyo upang gawin
naipon na coverage, gamit ang merge command. Kapag nalikha ang isang CDD file, magagawa ng user
gamitin ang Covered upang makabuo ng iba't ibang ulat sa saklaw na nababasa ng tao sa isang format o paggamit ng ASCII
Covered's GUI upang interactive na tumingin sa mga resulta ng saklaw, gamit ang command ng ulat. Kung
natuklasan ang mga natuklasang punto ng saklaw na gustong ibukod ng user mula sa saklaw, maaari itong
ay hawakan gamit ang alinman sa command-line exclude command o sa loob ng GUI. Kapag maramihan
Ang mga CDD file ay nilikha mula sa parehong disenyo, ang user ay maaaring makakuha ng coverage ranking ng
ang mga CDD file na iyon upang matukoy ang isang perpektong pagkakasunud-sunod para sa pagsubok ng regression pati na rin maunawaan
kung aling mga CDD file ang maaaring hindi isama sa mga regression dahil sa kanilang kawalan ng kakayahang mag-hit ng bago
mga punto ng saklaw. Bukod pa rito, bilang bahagi ng utos ng puntos ng Covered, kundisyon ng lahi
ang mga posibilidad ay matatagpuan sa mga file ng disenyo at maaaring balewalain, na i-flag bilang mga babala
o na-flag bilang mga error. Sa pamamagitan ng pagtukoy sa mga kundisyon ng lahi bilang mga error, maaari ding gamitin ang Covered
bilang tagasuri ng kondisyon ng lahi.

Global Opsyon

Ang mga pagpipiliang ito ay inilalagay kaagad pagkatapos ng keyword may takip sa command-line. sila
ay maaaring gamitin para sa anumang utos (maliban sa -v at -h) at may parehong epekto sa
bawat kaso.

-B Obfuscate. I-obfuscate ang lahat ng pangalan na sensitibo sa disenyo bago i-output in
format na nababasa ng user. Ang pagpipiliang ito ay kapaki-pakinabang kapag nagbabahagi ng output sa
mga developer ng Covered para sa mga layunin ng pag-debug.

-D I-debug. Ipakita ang impormasyon na kapaki-pakinabang para sa pag-debug ng mga problema sa tool. Tandaan: Ito
Ang opsyon ay magagamit lamang ngayon kapag ang sakop ay binuo gamit ang --enable-debug
pagpipilian sa pagsasaayos.

-h Tulong. Ipakita ang impormasyon sa paggamit na ito.

-P [filename]
Profiling mode. Ino-on ang internal source code profiler na gagawa ng a
profileing report ng run command sa alinman sa tinukoy filename o, kung hindi
filename ay naroroon, sa isang file na tinatawag sakop.prof. Available lang ang opsyong ito
kung ang --enable-profiling ang opsyon sa pagsasaayos ay tinukoy kapag ang Sakop ay
itinayo.

-Q Tahimik na mode. Nagiging sanhi ng lahat ng output na pinigilan.

-T Terse mode. Nagiging sanhi ng lahat ng output na pinigilan maliban sa babala
mga mensahe at ang Sakop na impormasyon ng header.

-v Bersyon. Ipakita ang kasalukuyang Sakop na bersyon.

UTOS

puntos Pinag-parse ang mga Verilog file at VCD/LXT2/FST dumpfiles para gumawa ng database file na ginagamit para sa
pagsasanib at pag-uulat.

pagsamahin Pinagsasama ang dalawa o higit pang mga file ng database sa isa.

ulat Bumubuo ng mga ulat sa saklaw na nababasa ng tao mula sa file ng database o sinimulan ang saklaw
mag-ulat ng GUI.

ranggo Bumubuo ng ulat na tumutukoy ng perpektong pagkakasunud-sunod para magpatakbo ng mga regression at tumukoy
Mga CDD file na hindi nagdaragdag ng bagong impormasyon sa saklaw (at maaari, samakatuwid, ay hindi kasama
mula sa mga regression, kung ninanais).

huwag isama
Nagbibigay-daan sa isa o higit pang mga coverage point (natukoy na may mga exclusion ID sa isang ulat
nabuo gamit ang -x na opsyon) upang i-toggle ang kanilang pagbubukod na ari-arian (isama sa
ibukod o ibukod na isama) at, kung ang pag-aari ng pagbubukod ay nakatakdang ibukod,
opsyonal na payagan ang isang dahilan para sa pagbubukod na maiugnay dito at maiimbak sa
ang tinukoy na CDD file.

ISKOR COMMAND

Ang mga sumusunod na opsyon ay wasto para sa score command:

-A ok Nagdudulot ng paggamit ng mga assertion ng OVL para sa coverage ng assertion. Dapat ibigay ang watawat na ito
sa utos ng marka kung kailangan ang mga sukatan ng saklaw ng assertion sa ulat
utos.

-cdd database
Pareho sa -o na opsyon. Kapaki-pakinabang kapag ang CDD file na nai-score ay isang input sa puntos
utos.

-cli [filename]
Nagiging sanhi ng paggamit ng command-line debugger sa panahon ng VCD/LXT2/FST dumpfile scoring.
If filename ay tinukoy, ang file na ito ay naglalaman ng impormasyong naka-save sa isang nakaraang tawag
sa savehist sa CLI at nagiging sanhi ng pag-replay ng history na nilalaman sa file na ito
bago ang CLI command prompt. Kung filename ay hindi tinukoy, ang CLI prompt ay
magagamit kaagad sa simula ng simulation. Available lang ang opsyong ito
kapag ang Covered ay na-configure sa --enable-debug pagpipilian.

-konserbatibo
Kung tinukoy ang opsyong ito, haharangin ng anumang logic na naglalaman ng code na maaaring magdulot
ang mga pagkakaiba sa saklaw na humahantong sa potensyal na hindi tumpak na mga resulta ng saklaw ay
inalis sa pagsasaalang-alang sa saklaw. Tingnan ang Gabay ng Gumagamit para sa higit pang impormasyon sa kung ano
uri ng code ay maaaring humantong sa mga kamalian sa saklaw.

-mga dumpvar [filename]
Kung ang opsyong ito ay tinukoy nang walang -vcd o -lxt na mga opsyon, ang disenyo ay na-parse,
isang CDD file ang nilikha at isang nangungunang antas ng Verilog module file na pinangalanan filename (kung ito
ang halaga ay tinukoy) o "covered_dump.v" (kung filename ay hindi tinukoy) ay nilikha.
Ang file na ito ay ginagamit sa compilation ng simulator upang lumikha ng isang dumpfile na
na-optimize para sa pagkuha ng saklaw para sa tinukoy na CDD file. Kung alinman ang -vcd o
-lxt na mga pagpipilian ay tinukoy, ang pagpipiliang ito ay walang epekto. Tingnan ang Gabay ng Gumagamit para sa
higit pang impormasyon kung paano gamitin ang opsyong ito.

-D define_name
Tinutukoy ang tinukoy na pangalan sa 1.

-D define_name=value
Tinutukoy ang tinukoy na pangalan sa tinukoy na halaga.

-e block_name
Pangalan ng module, gawain, function o pinangalanang begin/end block upang hindi makapuntos. Nagiging sanhi ng lahat
mga subblock sa Verilog tree sa ilalim ng block na ito upang hindi rin ma-score.

-ea Ibinubukod ang lahat ng palaging hinaharangan mula sa pagsasaalang-alang para sa saklaw.

-ec Hindi kasama ang lahat ng tuluy-tuloy na pagtatalaga mula sa pagsasaalang-alang para sa saklaw.

-ei Ibinubukod ang lahat ng paunang bloke mula sa pagsasaalang-alang para sa saklaw.

-kung Hindi kasama ang lahat ng panghuling bloke mula sa pagsasaalang-alang para sa saklaw.

-ep [pangalan]
Hindi kasama ang lahat ng code na makikita sa pagitan ng '// coverage off' at '// coverage on' pragmas
naka-embed sa loob ng disenyo. Kung pangalan ay tinukoy, ang keyword sa pragma ay
ay mapalitan sa pangalang iyon sa halip na ang default na "saklaw", na nagpapahintulot sa user na
baguhin ang hitsura ng pragma kung sumasalungat ito sa anumang iba pang mga tool.

-F module_name=[in_expr,]out_expr
Isinasaad sa parser kung saan mahahanap ang FSM na matatagpuan sa module module_name alin
ay may input state expression na tinatawag in_expr at output state expression na tinatawag
out_expr. Kung in_expr ay hindi tinukoy, out_expr ay ginagamit bilang parehong input at
pagpapahayag ng estado ng output.

-f filename
Pangalan ng file na naglalaman ng mga karagdagang argumento upang i-parse.

-fst filename
Pangalan ng FST dumpfile upang maka-iskor ng disenyo. Kung -vcd, -lxt o ang pagpipiliang ito ay hindi
ginamit, ang Covered ay lilikha lamang ng isang paunang CDD file mula sa disenyo at hindi
subukang i-iskor ang disenyo.

-g [module_name=](1|2|3)
Nagbibigay-daan sa user na limitahan ang parser sa isang partikular na henerasyon ng Verilog
pamantayan para sa isang partikular na module o ang buong disenyo, kung saan 1=Verilog-1995,
2=Verilog-2001, 3=SystemVerilog. Kung module_name= ay tinukoy, ginagamit ng parser ang
tinukoy na pamantayan ng Verilog para sa module na iyon lamang, na nagpapahintulot sa natitirang bahagi ng disenyo na
gamitin ang pandaigdigang pamantayan. Bilang default, ang pandaigdigang pamantayan ay nakatakda sa pinakabago
bersyon (3). Maaaring tukuyin ang opsyong ito nang higit sa isang beses para sa isang ibinigay na tawag sa
utos ng puntos; gayunpaman, kung ang pagpipiliang -g ay tumutukoy ng higit sa pandaigdigang halaga (ibig sabihin,
wala ang module= prefix), tanging ang huling halaga ng opsyon ang gagamitin.

-h Ipinapakita ang impormasyon ng tulong na ito.

-I direktoryo
Direktoryo upang mahanap ang mga kasamang Verilog file.

-i instance_name
Verilog hierarchical reference sa module na nasa tuktok ng tree to be
nakapuntos. Ang pagpipiliang ito ay kinakailangan kung ang module upang i-verify ang saklaw ay hindi ang pinakamataas na antas
module sa disenyo. Kung hindi tinukoy, -t ginagamit ang halaga.

-lxt filename
Pangalan ng LXT2 dumpfile upang maka-iskor ng disenyo. Kung -vcd, -fst o ang pagpipiliang ito ay hindi
ginamit, ang Covered ay lilikha lamang ng isang paunang CDD file mula sa disenyo at hindi
subukang i-iskor ang disenyo.

-m mensahe
Nagbibigay-daan sa user na tumukoy ng impormasyon tungkol sa CDD file na ito. Ang impormasyong ito ay maaaring
maging anuman (ang mga mensaheng may whitespace ay dapat na napapalibutan ng double-quotation
marks), ngunit maaaring magsama ng isang bagay tungkol sa simulation arguments sa mas madali
i-link ang CDD file sa simulation nito para sa layunin ng muling paggawa ng CDD file.

-o database
Pangalan ng database kung saan isusulat ang impormasyon sa saklaw. Kung hindi tinukoy, ang output
database filename ay magiging "cov.cdd".

-p filename
Ino-override ang default na filename na ginamit upang mag-imbak ng intermediate na preprocessor na output.

-P parameter_scope=value
Nagsasagawa ng defparam sa tinukoy na parameter na may halaga.

-rS Kapag ang mga pagsusuri sa kundisyon ng lahi ay nilabag, ang mga nakakasakit na bloke ng lohika ay aalisin
mula sa pagsasaalang-alang sa saklaw at lahat ng output ay pinigilan tungkol sa lahi
paglabag sa kondisyon. Tingnan ang dokumentasyon ng user para sa higit pang impormasyon tungkol sa lahi
pagsuri ng kondisyon sa paggamit.

-rW Kapag ang mga pagsusuri sa kundisyon ng lahi ay nilabag, ang mga nakakasakit na bloke ng lohika ay aalisin
mula sa pagsasaalang-alang sa saklaw at ang paglabag sa kundisyon ng lahi ay output. Ito ay
ang default na gawi para sa paghawak ng kundisyon ng lahi. Tingnan ang dokumentasyon ng user para sa higit pa
impormasyon tungkol sa paggamit ng pagsusuri sa kondisyon ng lahi.

-rE Kapag ang mga pagsusuri sa kundisyon ng lahi ay nilabag, ang dahilan ay ang paglabas at pagwawakas ng pagmamarka
kaagad. Tingnan ang dokumentasyon ng user para sa higit pang impormasyon tungkol sa kondisyon ng lahi
pagsuri sa paggamit.

-rI[=module pangalan]
If module pangalan ay hindi tinukoy, ang pagsusuri sa kundisyon ng lahi ay nilaktawan nang buo para sa
ang buong disenyo. Kung module pangalan ay tinukoy, ang pagsuri sa kundisyon ng lahi ay nilaktawan
para sa tinukoy na modyul. Tingnan ang dokumentasyon ng user para sa higit pang impormasyon tungkol sa lahi
pagsuri ng kondisyon sa paggamit.

-rP[=pangalan])
Gumagamit ng mga naka-embed na pragma para sa pagwawalang-bahala sa ilang code mula sa pagsuri sa kundisyon ng lahi
pagsasaalang-alang (kung pangalan ay tinukoy na ginagamit ito bilang pragma keyword). Tingnan ang user
dokumentasyon para sa karagdagang impormasyon tungkol sa paggamit ng pagsusuri sa kondisyon ng lahi.

-S Naglalabas ng mga istatistika ng simulation pagkatapos makumpleto ang simulation. Ang impormasyong ito ay
kasalukuyang kapaki-pakinabang lamang para sa mga developer ng Covered.

-t nangungunang antas module
Tinutukoy ang pangalan ng module ng pinakamataas na module na susukatin. Tandaan na
ang module na ito ay hindi kailangang maging ang pinakanangungunang module sa simulator. Ang patlang na ito
ay kinakailangan para sa lahat ng mga tawag sa score command.

-top_ts timescale
Ang pagpipiliang ito ay wasto lamang kapag ang -vpi o -dumpvars na mga opsyon ay tinukoy.
Nagbibigay-daan ang opsyong ito sa user na tumukoy ng timescale para sa nabuong Verilog module
nilikha gamit ang -vpi/-dumpvars na opsyon. Kung hindi tinukoy ang opsyong ito, hindi
lilikha ng timescale para sa nabuong module. Ang halaga ng timescale is
tinukoy bilang sumusunod:

(1|10|100)(s|ms|us|ns|ps|fs)/(1|10|100)(s|ms|us|ns|ps|fs)

Kung kailangan ang whitespace sa pagitan ng iba't ibang value, ilagay ang buong nilalaman ng
timescale sa dobleng panipi.

-ts numero
Kapag nangyari ang pagmamarka, binibigyang-daan ng opsyong ito ang user na makita kung gaano kalayo ang simulator
umunlad sa pamamagitan ng pag-output ng kasalukuyang timestep sa karaniwang output. Ang halaga ng
numero tumutukoy kung gaano karaming timestep ang pinapayagang gayahin bago i-output
ang kasalukuyang timestep (nagreresulta sa mas kaunting mga tawag sa output stream).

-T (min|typ|max)
Tinutukoy kung aling value ang gagamitin kapag nakakaranas ng delay expression sa form:
min:typ:max. Kung hindi tinukoy ang opsyong ito, ginagamit ang 'typ' select bilang default.

-v filename
Pangalan ng partikular na Verilog file na i-score.

-vcd filename
Pangalan ng VCD dumpfile upang maka-iskor ng disenyo. Kung -lxt, -fst o ang pagpipiliang ito ay hindi
ginamit, ang Covered ay lilikha lamang ng isang paunang CDD file mula sa disenyo at hindi
subukang i-iskor ang disenyo.

-vpi [filename]
Kung ang pagpipiliang ito ay tinukoy nang walang mga -vcd, -lxt o -fst na mga pagpipilian, ang disenyo ay
na-parse, isang CDD file ang nilikha at isang nangungunang antas ng Verilog module file na pinangalanan filename
(kung tinukoy ang halagang ito) o "covered_vpi.v" (kung filename ay hindi tinukoy) ay
nilikha kasama ng isang PLI table file na tinatawag filename.ta b o "covered_vpi.v.ta b".
Pareho sa mga file na ito ay ginagamit sa compilation ng simulator para gamitin ang Covered as
isang VPI module. Kung ang alinman sa -vcd, -lxt o -fst na mga opsyon ay tinukoy, ang opsyong ito
walang epekto.

-Wignore
Pigilan ang output ng mga babala sa panahon ng pag-parse ng code at simulation.

-y direktoryo
Direktoryo upang mahanap ang hindi natukoy na mga file ng Verilog.

+libext+.extension[+.extension]*+
Mga extension ng Verilog file upang payagan ang pagmamarka.

Sumanib COMMAND

Ang mga sumusunod na opsyon ay wasto para sa merge command:

-d filename
Direktoryo upang maghanap ng mga CDD file na isasama. Ang pagpipiliang ito ay ginagamit kasabay
sa -ext opsyon na tumutukoy sa extension ng file na gagamitin para sa pagtukoy
kung aling mga file sa direktoryo ang mga CDD file.

-R (una|huli|lahat|bago|luma)
Tinutukoy kung paano pangasiwaan ang paglutas ng dahilan ng pagbubukod. Kung dalawa o higit pang mga CDD file
ang pagsasama ay may mga dahilan sa pagbubukod na tinukoy para sa parehong punto ng saklaw, ang
Ang dahilan ng pagbubukod ay kailangang malutas (maliban kung ito ay ang parehong halaga ng string). Kung
hindi tinukoy ang opsyong ito at may nakitang salungatan, Interactive na gagawin ang Covered
humiling ng input para sa bawat pagbubukod kung paano ito pangasiwaan. Kung ang pagpipiliang ito ay
tinukoy, sinasabi nito sa Sakop kung paano pangasiwaan ang lahat ng salungatan sa dahilan ng pagbubukod. Ang
ang mga halaga ay ang mga sumusunod:.br

una - Ginagamit ang CDD file na naglalaman ng unang dahilan ng pagbubukod.

huli - Ginagamit ang CDD file na naglalaman ng huling dahilan ng pagbubukod.

lahat - Lahat ng dahilan ng pagbubukod ay ginagamit (pinagdugtong).

bago - Gamitin ang pinakabagong dahilan ng pagbubukod na tinukoy.

luma - Gamitin ang pinakalumang dahilan ng pagbubukod na tinukoy.

-ext karugtong
Ginagamit kasabay ng -d opsyon. Kung hindi -ext ang mga pagpipilian ay tinukoy sa
command-line, ang default na halaga ng '.cdd' ay ginagamit. Tandaan na ang isang tuldok (.) ay dapat
matukoy.

-f filename
Pangalan ng file na naglalaman ng mga karagdagang argumento upang i-parse.

-h Ipinapakita ang impormasyon ng tulong na ito.

-m mensahe
Nagbibigay-daan sa user na tumukoy ng impormasyon tungkol sa CDD file na ito. Ang impormasyong ito ay maaaring
maging anuman (ang mga mensaheng may whitespace ay dapat na napapalibutan ng double-quotation
mga marka).

-o filename
File upang mag-output ng bagong database sa. Kung hindi tinukoy ang argumentong ito, ang
existing_database ay ginagamit bilang pangalan ng database ng output.

REPORT COMMAND

Ang mga sumusunod na opsyon ay may bisa sa utos ng ulat:

-b Kung ang combinational logic verbose output ay naiulat at ang expression ay isang vector
operasyon, ang opsyong ito ay naglalabas ng impormasyon sa saklaw sa isang bitwise na batayan.

-c If -v ay tinukoy, nagpapakita lamang ng mga sakop na sukatan. Default ay ipakita ang walang takip
impormasyon lamang.

-d (s|d|v)
Antas ng detalyeng ibibigay sa impormasyon ng ulat sa saklaw (s = buod, d =
detalyado, v = verbose). Ang default ay buod.

-e Inilalabas ang lahat ng ibinukod na mga punto ng saklaw sa file ng ulat kasama ang anumang tinukoy
mga dahilan ng pagbubukod kung ang -d d or -d v ang mga pagpipilian ay tinukoy.

-f filename
Pangalan ng file na naglalaman ng mga karagdagang argumento upang i-parse.

-h Ipinapakita ang impormasyon ng tulong na ito.

-i Nagbibigay ng impormasyon sa saklaw para sa mga pagkakataon sa halip na module.

-m [l][t][c][f][r][a][m]
(mga) uri ng mga sukatan na iuulat. l=line, t=toggle, c=combinational logic, f=FSM state
at paglipat ng estado, r=mga kondisyon ng lahi, a=paggiit, m=alaala. Default ay ltcf.

-o filename
I-file sa output ang impormasyon ng ulat sa. Ang default ay karaniwang output.

-s Pinipigilan ang pagiging output ng mga module/instance na walang impormasyon sa saklaw
sa ulat. Ginagamit upang makatulong na alisin ang potensyal na walang kahulugan na impormasyon mula sa
ulat.

-v Hindi na ginagamit. Pinalitan ng '-dd' o '-d v'.

-tingnan Sinisimulan ang interface ng GUI para sa interactive na pag-uulat sa saklaw.

-w (numero)
Tinutukoy ang maximum na lapad ng linya (sa mga character) na maaaring magamit upang i-output ang Verilog
impormasyon. Kung hindi tinukoy ang opsyong ito, gagawin ng lahat ng Verilog code sa ulat
panatilihin ang parehong pag-format tulad ng tinukoy sa orihinal na Verilog code. Kung ito
ang opsyon ay tinukoy, ang Verilog code ay ipo-format upang magamit ang kasing dami ng kasalukuyang
linya hangga't maaari, binabalot ang teksto kapag naabot ng linya ang maximum na lapad ng linya. Ang
Ang default na maximum na lapad ng linya ay 115 character (ginagamit ang value na ito kung walang numero
tinukoy gamit ang -w na opsyon). Kung ang isang numero ay tinukoy na may -w na opsyon, ito
ginagamit ang value para sa maximum na lapad ng linya.

-x Inilalabas ang mga ID ng pagbubukod ng lahat ng natuklasan at hindi kasamang mga punto ng saklaw sa loob
panaklong bago ang nauugnay na verbose output ng coverage point. Ang
Maaaring gamitin ang mga exclusion ID para ibukod/isama ang mga coverage point sa pamamagitan ng pagbubukod
utos.

RANGGO COMMAND

Ang mga sumusunod na opsyon ay may bisa sa utos ng ranggo:

-d filename
Direktoryo upang maghanap ng mga CDD file na isasama. Ang pagpipiliang ito ay ginagamit kasabay
sa -ext opsyon na tumutukoy sa extension ng file na gagamitin para sa pagtukoy
kung aling mga file sa direktoryo ang mga CDD file.

-lalim numero
Tinutukoy ang pinakamababang bilang ng mga kinakailangang CDD file upang maabot ang bawat coverage point. Ang
halaga ng numero dapat mas malaki sa zero. Ang default ay 1.

-ext karugtong
Ginagamit kasabay ng -d opsyon. Kung hindi -ext ang mga pagpipilian ay tinukoy sa
command-line, ang default na halaga ng '.cdd' ay ginagamit. Tandaan na ang isang tuldok (.) ay dapat
matukoy.

-f filename
Pangalan ng file na naglalaman ng mga karagdagang argumento upang i-parse.

-h Ipinapakita ang impormasyon ng tulong para sa utos ng ranggo.

-pangalan-lamang
Kung tinukoy, maglalabas lamang ng mga kinakailangang CDD filename na kailangang patakbuhin sa
utos na kailangan nilang patakbuhin. Kung ang opsyong ito ay hindi nakatakda, isang ulat-style na output ay
binigyan ng karagdagang impormasyon. Ang pagpipiliang ito ay sinadya upang maging kapaki-pakinabang sa mga script
na gusto lamang ng mga CDD filename na tumakbo bilang output.

-o filename
Pangalan ng file upang mag-output ng impormasyon sa pagraranggo. Ang default ay karaniwang output.

-kailangan-cdd filename
Pangalan ng CDD na dapat ituring na isang kinakailangang CDD para sa ranggo (ibig sabihin, hindi ito maaaring
hindi kasama sa anumang dahilan).

-kinakailangan-listahan filename
Pangalan ng file na naglalaman ng listahan ng mga CDD na dapat ituring na mga kinakailangang CDD
sa ranggo. Ang mga filename ay dapat na pinaghihiwalay ng whitespace o newline na mga character
sa loob ng file.

-v Nagiging sanhi ng verbose output upang maipakita kapag ang rank command ay pinatakbo. Naglalabas ito
diagnostic na impormasyon tungkol sa bawat isa sa iba't ibang yugto ng algorithm ng pagraranggo
kabilang ang run-time, bilang ng mga CDD file na kasama/ibinukod at bilang ng saklaw
mga puntos na tinamaan ng mga ranggo na CDD sa bawat yugto. Ang impormasyong ito ay sinadya upang maging
kapaki-pakinabang para sa mga interesado sa algorithm ng pagraranggo at pagganap nito.

-timbang-igiit numero
Tinutukoy ang kamag-anak na pagtimbang para sa saklaw ng assertion na ginamit sa pagraranggo na hindi natatangi
mga punto ng saklaw. Ang halaga ng numero ay nauugnay sa mga halagang ginamit sa
-timbang-toggle, -timbang-memorya, -timbang-suklay, -timbang-fsm at -timbang-linya ranggo
mga pagpipilian sa command.

-timbang-suklay numero
Tinutukoy ang isang kamag-anak na pagtimbang para sa pinagsama-samang saklaw ng lohika na ginamit sa pagraranggo
di-natatanging coverage point. Ang halaga ng numero ay nauugnay sa mga halagang ginamit sa
ang -timbang-toggle, -timbang-memorya, -timbang-igiit, -timbang-fsm at -timbang-linya
mga pagpipilian sa utos ng ranggo.

-timbang-fsm numero
Tinutukoy ang isang kaugnay na pagtimbang para sa FSM state at state transition coverage na ginamit noon
ranggo ng hindi natatanging mga punto ng saklaw. Ang halaga ng numero ay may kaugnayan sa mga halaga
ginamit sa -timbang-toggle, -timbang-memorya, -timbang-suklay, -timbang-igiit at
-timbang-linya mga pagpipilian sa utos ng ranggo.

-timbang-linya numero
Tinutukoy ang isang kaugnay na pagtimbang para sa saklaw ng linya na ginamit upang i-rank ang hindi natatanging saklaw
puntos. Ang halaga ng numero ay nauugnay sa mga halagang ginamit sa -timbang-toggle,
-timbang-memorya, -timbang-suklay, -timbang-fsm at -timbang-igiit mga pagpipilian sa utos ng ranggo.

-timbang-memorya numero
Tinutukoy ang isang kamag-anak na pagtimbang para sa saklaw ng memorya na ginamit sa pagraranggo ng hindi natatanging saklaw
puntos. Ang halaga ng numero ay nauugnay sa mga halagang ginamit sa -timbang-toggle,
-timbang-linya, -timbang-suklay, -timbang-fsm at -timbang-igiit mga pagpipilian sa utos ng ranggo.

-timbang-toggle numero
Tinutukoy ang isang kaugnay na pagtimbang para sa toggle na saklaw na ginagamit upang i-rank ang hindi natatanging saklaw
puntos. Ang halaga ng numero ay nauugnay sa mga halagang ginamit sa -timbang-memorya,
-timbang-linya, -timbang-suklay, -timbang-fsm at -timbang-igiit mga pagpipilian sa utos ng ranggo.

HALIMBAWA COMMAND

Ang mga sumusunod na opsyon ay wasto sa exclude command:

-f filename
Tinutukoy ang pangalan ng isang file na naglalaman ng higit pang mga opsyon sa exclude command.
Maaaring tukuyin ang opsyong ito nang maraming beses hangga't kinakailangan para sa isang tawag sa
ibukod ang utos.

-h Bumubuo ng impormasyon sa paggamit para sa exclude command.

-m Nagbibigay-daan para sa isang mensahe ng pagbubukod na maiugnay sa anumang mga punto ng saklaw na pupunta
mula sa kasamang estado hanggang sa hindi kasamang estado. Para sa bawat coverage point na nakakatugon
ang pangangailangang ito, ipo-prompt ang user na mag-input ng dahilan. Ang dahilan ay maaaring
anumang haba at anumang bilang ng mga linya; gayunpaman, lahat ng mga character sa pag-format (ibig sabihin,
mga bagong linya, tab, dagdag na espasyo, atbp.) ay aalisin at papalitan ng isa
space kapag ito ay ipinakita sa ibang pagkakataon. Upang tapusin ang input ng isang mensahe, pindutin ang isang return,
magpasok ng isang solong tuldok (.) na character at pindutin muli ang return. Ang huling panahon
ang karakter ay hindi magiging bahagi ng mensahe ng pagbubukod.

-p Nagiging sanhi ng lahat ng tinukoy na mga punto ng saklaw upang i-print ang kanilang kasalukuyang katayuan sa pagbubukod at
dahilan ng pagbubukod (kung mayroon para sa hindi kasamang punto ng saklaw) sa pamantayan
output. Kung tinukoy ang opsyong ito, ang -m hindi papansinin ang opsyon.

GAMIT NAKATABUNG AS A VPI MODYUL

Bilang karagdagan sa paggamit ng score command ng Covered para i-parse ang VCD, LXT2 o FST file sa abstract
impormasyon sa saklaw, Ang Covered ay maaari ding gamitin bilang VPI module sa loob ng isang simulator upang
kunin ang impormasyong ito. Ang mga pakinabang sa paggamit ng Covered bilang isang VPI kaysa sa isang dumpfile reader
isama ang mga sumusunod. Una, ang mga VCD file ay maaaring napakalaki, lalo na sa mahabang panahon
mga simulation, na gumagamit ng mahalagang espasyo sa disk. Pangalawa, kung gumagamit ka ng isang simulator na
dumps file sa ibang format kaysa sa VCD, LXT2 o FST at gusto mong i-convert ang dump na ito
mga uri ng file sa isa sa mga bersyong ito, ang halaga ng disk space at oras ay maaaring gumawa ng paggawa
dumpfiles na nangangailangan ng Covered na hindi kanais-nais. Bukod pa rito, kahit na ginagamit ang Sakop bilang isang VPI
pabagalin ng module ang bilis ng iyong simulation, malamang na ang kabuuang oras na ginugol
Ang pagtulad sa iyong disenyo at pag-iskor ng disenyo sa isang hakbang ay magiging mas maikli kaysa sa paggawa nito
dalawang hakbang. Bilang resulta, ang configure utility ng Covered ay maaaring makabuo ng VPI-ready na mga library para sa
ang mga sumusunod na libre at komersyal na mga simulator (Icarus Verilog, CVER at VCS).

Upang awtomatikong buuin ang VPI-ready na mga file ng library kapag bumubuo ng Covered mula sa pinagmulan,
tukuyin lamang ang isa o higit pa sa mga sumusunod kapag pinapatakbo ang "configure" na utility sa
base na Sakop na direktoryo: --with-iv= , --with-vcs=
path>, --with-cver= . Pagkatapos ma-configure ang Covered, i-type lang
'gumawa' at 'gumawa ng pag-install'. Ito ay mag-i-install ng VPI-ready na mga file ng library sa
direktoryo ng libexec sa pag-install (bilang default ang landas na ito ay magiging /usr/local/libexec).

Bago ka handa na i-compile ang disenyo, kailangan mo munang gumawa ng CDD file, isang top-level
Verilog file, at isang PLI table file (ang huling file ay kailangan lamang para sa VCS compiler).
Ginagawa ito sa pamamagitan ng pagtukoy sa -vpi (filename) opsyon sa utos ng marka ng Covered. Kung hindi
ang filename ay tinukoy pagkatapos -vpi, ang mga file na covered_vpi.v at covered_vpi.ta b ay magiging
nilikha kasama ng nabuong coverage file. Tandaan na ang hakbang na ito ay kailangan lang
gumanap nang isang beses maliban kung magbago ang mga file ng disenyo. Handa ka na ngayong i-compile ang
simulator.

Kung nag-compile ka ng Icarus Verilog simulation, idagdag lang ang '-m
/usr/local/libexec/covered.vpi covered_vpi.v' sa command-line na 'iverilog'. minsan
kumpleto na ang compilation, patakbuhin ang nabuong executable file gaya ng karaniwan mong ginagawa.

Kung nag-compile ka ng CVER simulation, idagdag lang
'+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrap covered_vpi.v' sa
'cver' command-line.

Kung nag-compile ka ng VCS simulation, idagdag lang ang '+vpi -load
/usr/local/libexec/covered.vcs.so:covered_register covered_vpi.v' sa 'vcs'
command-line. Kapag kumpleto na ang compilation, patakbuhin ang nabuong executable file bilang ikaw
normal na gagawin.

Kung nag-compile ka ng NC-Verilog simulation, lumipat sa irun command ng NC-Verilog para mag-load
ang sakop na ibinahaging bagay: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
at paganahin ang lahat ng access gamit ang '-access +rwc'. Maaari mong i-hardcode ang $covered_sim na tawag sa
iyong RTL o maaari mo itong patakbuhin nang pabago-bago gamit ang CLI, sa pamamagitan ng pagdaragdag ng -input input.tcl
lumipat sa irun. Kung saan ang input.tcl file ay mukhang ang sumusunod at ang tb.dut ay ang
halimbawa ng saklaw:
tumawag sa -systf {$covered_sim} {"scored.cdd"} tb.dut
tumakbo

Mayroong dalawang plusargs na maipapasa sa nabuong executable kapag ito ay pinatakbo
Ang sakop ay mag-parse. Ang '+covered_cdd= ' ang opsyon ay magiging sanhi ng Covered na i-output ang
nakapuntos ng mga nilalaman ng disenyo sa CDD file na tinukoy ni . Nagbibigay-daan ito sa maraming pagtakbo
ng simulator upang makabuo ng maraming iba't ibang CDD file nang hindi nangangailangan ng muling pag-compile
mangyari. Ang opsyon na '+covered_debug' ay magiging sanhi ng Covered na mag-dump ng maraming labis na output
tungkol sa panloob na estado ng run-time nito sa panahon ng simulation. Ang output na ito ay bubuo lamang
kung ang Covered ay na-configure gamit ang --enable-debug na opsyon. Ang plusarg na opsyon na ito ay hindi dapat
gamitin ng mga regular na user dahil pangunahing nilayon nitong tulungan ang mga developer ng Covered in
pag-debug

MGA AUTHORS

Trevor Williams[protektado ng email]>

Gamitin ang sakop online gamit ang mga serbisyo ng onworks.net