PSL failu Modelsim

L

Laverne

Guest
Hi all,

Vai daži lūdzu, pārbaudiet, ja tas ir patiess ...
Par imitācijai, nevis rakstiski regulāri testbench Jūs rakstīt psl failu jūsu konstrukciju un izmantošanu Modelsim lai modelētu.
Es esmu ļoti jauni, vhdl stuff un ir darīt daudz lasījumā, bet vēl sajaukt

<img src="http://www.edaboard.com/images/smiles/icon_cry.gif" alt="Saucošs vai Ļoti bēdīgs" border="0" />Ja tā ir taisnība, tad, lūdzu, sniedziet vienkārša konstrukcija ar psl tā, ka es varu sekot caur to.

Thanks in advance

sveicieni

 
Hei es neesmu pārliecināts par. Psl file ... bet varat noteikti izmantot. Darīt failu, lai modelētu jūsu verilog vai vhdl file ...the. darīt faili ir macros ...Jums ir jābūt izmanto komandu logs modelsim piespiest izejvielas ...jums ir izmantot to pašu komandas rakstīt, ka. darīt failu un var simulēt tā ....

 
Thanks for your input.
Jebkurš cits ir kādi ieteikumi?

Sveicieni

 
hi nav zināms par PSL failu, bet IAM arī izmanto. darīt failu.

 
Čau,
Ko es zinu, ir tas, ka varat izmantot TCL vai DO failus, un es domāju, ka PSL failus stendi Property Īpaši Valoda.
PSL ir paredzēts, lai varētu izmantot gan formāla (matemātisko pierādījumu) un dinamiskā (simulācija pamatots) metodes pārbaudi.

 
jums var būt PSL īpašības tieši jūsu RTL kods ... vai jums var būt vunits (pārbaude vienības) atsevišķās datnēs ar visām īpašībām, kas savākta līdz ... un šīm vunits ir saistītas ar konstrukcijas faili

 
paldies visiem par atbildi.Jūsu pūles, cenšoties palīdzēt ir ļoti daudz appreciated.

ko es esmu meklējat, ir, piemēram, vienkāršas konstrukcijas, kā arī ārējo psl failu (pārbaudes vienības failu), ka i var sekot, izmantojot modelsim.
tā būtībā ... divi faili.
1.design.vhd
2.design_tb.psl

Ziemsvētki visiem.

sveicieni
Laverne

 
Čau,
Ir daži piemēri ar ModelSim, tie ir tikai daži, cik liela dizainu .., ja vēlaties tos varu augšupielādēšanas.

 
skatīt šīs grāmatas, lūdzu, ...

Izmantojot PSL / Cukurs, kas ir oficiāli un dinamisku Verification
2. Edition
Guide to Property Specifikācija valodu apgalvojums-Based Verification

Es neesmu pārliecināts, vai tas šeit forumā ... Man bija tā, kā brošēta grāmata ... tas ieguva lielu piemēri par to, ko vēlaties ...

 
Walid,
ja varat lūdzu augšupielādēšanas.Vai jums ir pakāpenisks process, kā simulē dizains ar psl failu ar Modelsim?visvienkāršākais, jo labāk, kā es esmu ļoti jauni, vhdl stuff.

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Loti laimīgs" border="0" />Salma ali bakr,
Paldies par vadītāju augšu.Pievienots pēc 3 minūtēm:Tas ir tas, ko es atklāju laikā mana meklēšanu.uz saites zemāk ir gan projektēšanu un psl failu.
Pamatā i kopēt / ielīmēt gan projektēšanu un psl failu un modelētu ar modelsim bet kaut kā es nekad aplūkotu apgalvojums daļa / vērtību modelsim.
Ko man missing?

http://www.cs.chalmers.se/Cs/Grundutb/Kurser/svh/Tools/jaspergold/

 
Jums pievienot apgalvojumus uz Jūsu vilnis ...
jums atrast tām ar savu dizainu vienība ..
un jūs tikai tiesības, noklikšķiniet un pievienot tos viļņu
tie būtu jums izturējusi vai nav ... utt

 
Šeit tas ir, bet tas ir apmēram kā BIG.
Norādījumiem, kas failu "doit.sh", tādēļ, ja jums ir Linux vai Cygwin uz Windows tikai lietošanai "doit.sh demo" ...citādi tikai atvērt failu un u varat atrast ModleSim instrukcijā.
Tās viena no ModelSim piemēru, lai jūs varētu atrast to Modeltec.... / piemēri / psl / vhdl /
Atvainojiet, bet jums ir nepieciešams pieteikumvārds, lai skatītu šo arestu

 
i got tas strādā ar psl izmantojot modelsim.
bet tagad i got citu problēmu.kad es palaistu simulāciju i got nekas, bet sarkanās un zilās līnijas viļņu logā.tas notiek tikai tad, ja izmanto psl.ar regulāro testbench ir laika diagrammā.jāstrādā šajā jomā.

atkal, paldies visiem par visiem palīdzēt

sveicieni

 
Čau,

* Kāpēc ne jums sarakstu ar ModelSim komandas Jūs lietojat un augšupielādējiet dizains?
* Kas ModelSim versiju jūs lietojat?

 
čau,

Man ir pievienots 2 faili.
viena ir dizainparaugu, bet otra ir psl failu.

lūdzu, atcerieties, ka es neesmu pēc dizainparauga pati kā redzams no lietas materiāliem.
ko es esmu pēc tam, kad ir, kā modelētu dizains ar psl failu kā pret to regulāri testbench., tātad ... failu ir tikai daži ļoti pamatregulas stuff.

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Loti laimīgs" border="0" />Es neesmu pārliecināts, ka tas ir veids, kā to izdarīt.tas ir mans pirmais mēģinājums mēģina psl un dažas to, kas jauns, lai vhdl.

modelsim versija ir 6.2c Se

sveicieni
Atvainojiet, bet jums ir nepieciešams pieteikumvārds, lai skatītu šo arestu

 
i redzēja gan faili
tie būtu pienācīgi darboties

lai jūs modelētām ar psl failu
un to, kas notika ...?kaut kas nepareizi ar viļņiem ..?

Esmu strādājis ar psl pirms bet nekad nav mēģinājis darīt atsevišķās datnēs īpašības
Tas vienmēr labāk iestrādāt tos savu kodu, tas būs vieglāk šādā veidā sekot līdzi ar viņiem ... vai par to, ko testēšanas stendā ... nav nepieciešams, lai izmantotu vunit pat ... bet tas vienmēr ir labas prakses testētu netestētu

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Loti laimīgs" border="0" />
 
Te ir tas, ko i darīt ......

izmantot šīs komandas:
vcom DFF_CLEAR.vhd-pslfile DFF_CLEAR_TB.psl
vsim dff_clear-assertdebug
skats apgalvojumiem

Tad mēģiniet spēkā signālu, izmantojot ModelSim GUI ....tā vietā, lai testBench
un šeit ir skats i got.
Atvainojiet, bet jums ir nepieciešams pieteikumvārds, lai skatītu šo arestu

 
ya Walid ya gamed
walahee enta 7'osara fel balad di

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Loti laimīgs" border="0" />labu darbu cilvēks
saglabāt atbalstu

<img src="http://www.edaboard.com/images/smiles/icon_arrow.gif" alt="Arrow" border="0" />i nezināja par-pslfile lieta
izraisīt i bija viņiem vienmēr ir iekļautas dizainparauga vai testbench
Paldies par klīringa, ka gandrīz

<img src="http://www.edaboard.com/images/smiles/icon_smile.gif" alt="Smaids" border="0" />
 
Ba3d ma 3endakom ya Salma

<img src="http://www.edaboard.com/images/smiles/icon_smile.gif" alt="Smaids" border="0" />un jums ir apsveicami

 
čau,

i tiem komandas un nav iegūt tādu pašu rezultātu.
raktuves joprojām rāda sarkano un zilo līniju.

Jūs varat noskaidrot, ko Jūs domājāt ar:
spēkā signālu, izmantojot Modelsim GUI ... tā vietā, lai testbench.

šeit ir par to, kā es to mine.maybe i am missing solis kaut.
1.izveidot direktoriju
2.izņemot divus failus uz iepriekš directory, dizaina un psl
3.palaist modelsim, izveidot projektu / darbu katalogs un punktu uz numuru iepriekš 1.
4.slodze divus failus modelsim
5.sastādīt dizains failu
6.pievienot visus signālus viļņu logu
7.vadīt tās komandas
8.nospiediet palaist pogu (kā redzams no screenshot)

pateicība
Atvainojiet, bet jums ir nepieciešams pieteikumvārds, lai skatītu šo arestu

 
You must log in or register to reply here.

Welcome to EDABoard.com

Sponsor

Back
Top