PSL datoteka Modelsim

L

Laverne

Guest
Bok svima,

Može neki Provjerite ako je to istina ...
Za simulaciju, umjesto pisanja regularna testbench biste napisali psl file za vaš dizajn i upotreba Modelsim da simulira.
Veoma sam novi u ovom vhdl stvari su radili i puno čitati, ali još uvijek zbrkati

<img src="http://www.edaboard.com/images/smiles/icon_cry.gif" alt="Plakanje ili vrlo tužan" border="0" />Ako je istina onda navedite jednostavni dizajn s psl tako da mogu pratiti kroz nju.

Hvala unaprijed

pozdravi

 
Hej ja nisam siguran
/ na. Psl file ... ali možete sigurno koristiti. Napraviti datoteke u vašem Verilog simuliraju ili vhdl datoteka ...je. učiniti datoteke makroe ...morate koristiti naredbeni prozor u modelsim na silu ulazi ...morate koristiti iste naredbe za pisanje toga. učiniti datoteka i može simulirati ga ....

 
Thanks for your input.
Bilo tko drukčije imati bilo koji sugestija?

Pozdravi

 
hi ne zna o PSL datoteku, ali iam i koristite. napraviti datoteku.

 
Bok,
Što ja znam je da je možete iskoristiti ili radite TCL datoteke, i mislim da PSL datoteke Stalci za imovinsko određeni jezik.
PSL je osmišljen kako bi se obje formalni (matematički dokaz) i dinamičke (simulacija temeljena) metode provjere.

 
možete imati PSL svojstva izravno unutar vašeg RTL code ... ili možete imati vunits (verifikaciju jedinica) u zasebnim datotekama sa svim svojstvima okupilo se ... i ti vunits obvezuju na dizajn datoteke

 
Hvala svima na odgovoru.Vaš trud u težak to pomoć je vrlo velik dio poštovati.

ono što sam ja u potrazi za primjer je jednostavnog dizajna plus vanjski psl file (verifikaciju jedinica datoteke) koje mogu pratiti kroz korištenje modelsim.
pa ... u osnovi dvije datoteke.
1.design.vhd
2.design_tb.psl

Božić svima.

pozdravi
Laverne

 
Bok,
Postoji nekoliko primjera s ModelSim, kako su neke velike dizajne ..ako želite da ih mogu uploadati ih.

 
pogledajte ovu knjigu molim ...

Korištenje PSL / Šećer za formalnu i dinamičan Verifikacija
2. izdanje
Vodič za nekretninu Specification Language za tvrdnju-Based Verifikacija

Im 'ne siguran ako je to ovdje na forumu ... imao sam ga kao Paperback ... to je dobio veliku primjere za ono što želite ...

 
walid,
molim vas ako možete uploadati ih.Imate li korak po korak proces kako simuliraju za dizajn sa psl file pomoću Modelsim?najjednostavnije je bolji, kao ja sam jako novi u ovom vhdl stvari.

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Very Happy" border="0" />Salma bakr Ali,
hvala za jedan dan prednje jedro gore.Nakon 3 minute Added:To je ono što sam tijekom mog pretraživanja.na link ispod ima i dizajn i psl file.
ustvari ja copy / paste i dizajn i psl file i simuliranje sa modelsim ali nekako ja nikada vidjeti tvrdnju dio / vrijednost u modelsim.
ono što sam ja nestalo?

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

 
morate dodati na svoje tvrdnje val ...
ćete ih pod dizajn jedinicu ..
a vi
ćete samo desni klik i dodajte ih u valu
trebali bi vam dati donesen ili nije ... itd

 
Evo ga, ali to je neki način BIG.
Uputstva su u datoteci "doit.sh", pa ako imate linux ili windows Cygwin na samo koristiti "doit.sh demo" ...inače samo otvorite datoteku i možete pronaći ModleSim upute.
Njegova jedna od ModelSim primjerima pa možete ga pronaći na Modeltec.... / primjeri / psl / vhdl /
Žao nam je, ali morate prijaviti da biste vidjeli u ovom prilogu

 
ja je dobio Internet rad s psl koristeći modelsim.
ali sad imam drugi problem.našto ja trčanje simulacija sam dobio ništa osim crvene i plave linije na val prozoru.ovo se događa samo kada koristite psl.uz redovne testbench ima vremena dijagram.trebaju raditi na tome.

opet, hvala svima za sve pomogne

pozdravi

 
Bok,

* Zasto ne navedete ModelSim naredbi koje koristite i upload dizajna?
* Što ModelSim verziju, da li koristite?

 
bok,

Imam 2 slika u prilogu.
jedan je dizajn, a druga je psl file.

imajte na umu da ja nisam nakon samog dizajna kao što može da se vidi iz datoteke.
nakon što sam je kako simuliraju dizajn s psl file kao suprostaviti na redovnoj testbench.pa dakle ... datoteka se samo neke osnovne stvari.

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Very Happy" border="0" />Nisam siguran da je to način da to napravite.to je moj prvi pokušaj pokussavaju psl i ono što neki novi u vhdl.

modelsim verzija 6.2c Se

pozdravi
Žao nam je, ali morate prijaviti da biste vidjeli u ovom prilogu

 
Vidjela sam obje datoteke
oni treba da rade ispravno

tako da je simuliran psl file
i šta se desilo ...?Nešto nije u redu s valovima ..?

Ja sam radila sa psl prije, ali nikada nije pokušao učiniti zasebna datoteka za nekretnine
Uvijek je bolje ugraditi ih u svoj kôd, on će biti lakše na taj način pratiti s njima ... ili ih staviti u test klupa ... nema potrebe za korištenje vunit čak ... ali to je uvijek dobra praksa testirati netestiran

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Very Happy" border="0" />
 
Evo što sam učinio ......

koristiti ove naredbe:
vcom DFF_CLEAR.vhd-pslfile DFF_CLEAR_TB.psl
vsim dff_clear-assertdebug
pogled tvrdnje

Zatim pokušajte force signal koristeći GUI ModelSim ....umjesto da je testBench
i ovdje je vidjeli dobio sam.
Žao nam je, ali morate prijaviti da biste vidjeli u ovom prilogu

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

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Very Happy" border="0" />dobar posao čovjek
pratiti podršku

<img src="http://www.edaboard.com/images/smiles/icon_arrow.gif" alt="Arrow" border="0" />JA nije 'znati o stvar-pslfile
uzrok sam ih uvijek smjesteni u dizajnu ili testbench
hvala za kliring da se

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

<img src="http://www.edaboard.com/images/smiles/icon_smile.gif" alt="Osmjeh" border="0" />i ti si DOBRODOŠLI

 
bok,

I oni slijediti naredbe i nisu dobili isti rezultat.
mina i dalje pokazuje crvene i plave linije.

Možete li razjasniti što je značilo po:
force signal koristeći GUI Modelsim ... umjesto da je testbench.

Ovdje je kako JA učiniti mina.možda sam negdje nestalo korak.
1.izraditi imenik
2.dvije datoteke spremiti na gore katalog; dizajn i psl
3.modelsim pokrenuti, stvoriti projekta / rada katalog i pokažite na broj 1 gore.
4.load dvije datoteke u modelsim
5.kompilirati dizajn datoteku
6.dodaj sve signale val prozoru
7.izvoditi one naredbe
8.pritisnite gumb vožnji (kao što je prikazano na sliki)

hvala
Žao nam je, ali morate prijaviti da biste vidjeli u ovom prilogu

 
You must log in or register to reply here.

Welcome to EDABoard.com

Sponsor

Back
Top