PSL ModelSim

[jennifer ali Bakr]

je prevzeti obravnava natančno tako, kot trdijo v modelsim?

prevzame naj bi normalno da omejitev na vložke, ne pa, da je v modelsim ali ne obravnava kot izraz trdijo, da se preveri in poskuša to preveč?

hvala,
Salma

 

[aji_vlsi]

jennifer ali Bakr wrote:

je prevzeti obravnava natančno tako, kot trdijo v modelsim?prevzame naj bi normalno da omejitev na vložke, ne pa, da je v modelsim ali ne obravnava kot izraz trdijo, da se preveri in poskuša to preveč?hvala,

Salma

 

[jennifer ali Bakr]

super, hvala veliko

<img src="http://www.edaboard.com/images/smiles/icon_smile.gif" alt="Nasmeh" border="0" />tudi morem šele raba formalno orodje za preverjanje, da so prevzeti delajo kot je treba (ob upoštevanju omejitve)
okays

hvala še enkrat
Salma

 

[jennifer ali Bakr]

kaj rabim, da preverijo svoje lastnosti z uporabo simulacije
obstaja določeno pristop za preskusni napravi, da bi jaz napisal?
Kako sem lahko prepričan, da jaz zajema vse primere, za majhna zasnova, če jaz ne more ATPG?
ne vpliva na preskusni napravi učinkovitost preverjanja trditve?