PSL file-Modelsim

L

Laverne

Guest
Hi all,

Lahko nekaj prosim preverite, če je to res ...
Za simulacijo, namesto pisanja redno testbench boste napisali PSL datoteke za svojo zasnovo in uporabo Modelsim simulirati.
Zelo sem novi v tej stvari in vhdl so bili delaš veliko obravnavi, vendar še vedno zmedeta

<img src="http://www.edaboard.com/images/smiles/icon_cry.gif" alt="Crying ali Very sad" border="0" />Če je res, potem navedite enostavne konstrukcije in z PSL, tako da sem lahko sledite s pomočjo ga.

Thanks in advance

s spoštovanjem

 
Hej nisem prepričan je. PSL file ... ampak lahko definitivno uporabo. Naredil datoteke za simulacijo vaše verilog ali vhdl datoteke ...je. storiti datoteke makre, ...morate uporabiti ukaz okno v modelsim veljati na vložke ...morate uporabiti iste ukaze napisati da. naredil datoteke in jih simulirati je ....

 
Thanks for your input.
Kdor koli drug komentar?

S spoštovanjem

 
hi ni znanega o PSL datoteke, vendar zdaj tudi uporabljate. storiti datoteko.

 
Živjo,
Kar vem je, da ga lahko uporabljate TCL ali pa datotek, in mislim, da PSL datotek stojalih za nepremičnine določen jezik.
PSL je namenjen za uporabo z obeh formalni (matematični dokaz) in dinamične (simulacijo temelji) metode preverjanja.

 
lahko imajo lastnosti PSL neposredno v vaš RTL koda ... ali imate vunits (preverjanje enote) v ločenih datotekah z vsemi lastnostmi zbrali gor ... in ti vunits zavezuje k oblikovanju datotek

 
hvala vsem za odgovor.vaš trud v poskusu, da bi se zelo cenile.

kar sem iskal je primer preproste zasnove in zunanjih PSL datoteko (preverjanje enote datoteke), da sem lahko sledite s pomočjo modelsim.
tako ... v bistvu dve datoteki.
1.design.vhd
2.design_tb.psl

Xmas vsem.

s spoštovanjem
Laverne

 
Živjo,
Obstaja nekaj primerov, s ModelSim, kako so nekateri veliki modeli ..če želite, jih lahko prenesete od sebe.

 
glej te knjige prosim ...

Uporaba PSL / Sladkor za Formalnemu in dinamične Preverjanje
2nd Edition
Vodnik za nepremičnine Specifikacija za Izjava Language-Based Preverjanje

Nisem prepričan, če je tukaj na forumu ... sem kot Paperback ... it's got veliko primerov, za kar si želiš ...

 
Walid,
če lahko prosim jih naložite.Imate Postopni proces, kako simulacijo modela s PSL datoteko z uporabo Modelsim?najenostavnejši je bolje kot sem zelo nov v tem vhdl stvari.

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Very Happy" border="0" />Salma ali bakr,
hvala za glave gor.Doda 3 minute:to je tisto, kar sem našla v mojem iskanja.na spodnjo povezavo je tako načrtovanje in PSL datoteko.
basically i copy / paste oba modela in PSL datoteko in simulacijo z modelsim vendar nekako nisem prikaz trditev del / vrednost v modelsim.
Kaj manjka?

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

 
ste, da dodate na vaš trdi valov ...
boste našli v okviru svojega modela enote ..
in boste samo desni klik in jih dodajte v val
morajo dati ali ne ... itd

 
Tukaj je, vendar je nekaj kako velik.
Navodila so v datoteki "doit.sh", tako da če imate linux ali Cygwin v Windows samo uporabo "doit.sh demo" ...drugače samo odprite datoteko in u lahko najdete na ModleSim navodila.
Njen eden od ModelSim primeri tako jo lahko najdete na Modeltec.... / primeri / PSL / vhdl /
Oprosti, ampak, kar potrebujete za prijavo v to prilogo, da si ogledate

 
Imam jo delajo z PSL uporabo modelsim.
ampak zdaj imam drugo težavo.i, ko zaženete simulacijo i got nič pa rdeče in modre linije v valu okno.To se zgodi le z uporabo PSL.z rednim testbench obstaja časovni diagram.treba delati na tem.

še enkrat hvala vsem za vso pomoč

s spoštovanjem

 
Živjo,

* Why
don't you seznam ukazov ModelSim jo uporabljate in nalaganje modela?
* Kaj ModelSim različico, uporabljate?

 
živjo,

i so priloženi 2 datotek.
eno je oblikovanje in drugi PSL datoteko.

Upoštevajte, da nisem po zasnovi kot je razvidno iz spisa.
kaj sem potem, ko je kako simulacije modela s PSL datoteke kot nasprotovala, da je redno testbench.tako torej ... je datoteka le nekaj zelo osnovnih stvari.

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Very Happy" border="0" />Nisem prepričan, da je to način, kako to storiti.je moj prvi poskus na poskušajo PSL in tudi kar nekaj novih na vhdl.

modelsim verzija je 6.2c Se

s spoštovanjem
Oprosti, ampak, kar potrebujete za prijavo v to prilogo, da si ogledate

 
Videl sem oba datotek
morajo za pravilno delovanje

tako da se simulira PSL datoteke
in kaj se je zgodilo ...?kaj narobe z valovi ..?

sem delal z PSL preden pa nikoli poskusil storiti ločenih datotek za lastnosti
Vedno je bolje, da bi vgradili v svojo kodo, jo bomo lažje na ta način za spremljanje z njimi ... ali jih postaviti v preskusni napravi ... ni potrebe po uporabi vunit tudi ... ampak to je vedno dobra praksa za preskus nepreskušenih

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Very Happy" border="0" />
 
Tukaj je tisto, kar sem storila ......

Uporaba teh ukazov:
vcom DFF_CLEAR.vhd-pslfile DFF_CLEAR_TB.psl
vsim dff_clear-assertdebug
Glede trditve

Nato poskušajte na silo signalov z uporabo ModelSim GUI ....namesto a testBench
in tukaj je stališče imam.

 
ya Walid 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" />dobro delo človeka
vodijo do podpore

<img src="http://www.edaboard.com/images/smiles/icon_arrow.gif" alt="Arrow" border="0" />i ne poznajo-pslfile stvar
Ker sem jih imel vedno vpeta v oblikovanje ali testbench
hvala za obračun, ki se

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

<img src="http://www.edaboard.com/images/smiles/icon_smile.gif" alt="Nasmeh" border="0" />in vas vabimo,

 
živjo,

i sledite tiste ukaze in niso dobili enak rezultat.
moja še vedno kaže, rdeče in modre linije.

lahko vam pojasniti, kaj vam pomeni:
veljavnosti signalov z uporabo Modelsim GUI ... namesto a testbench.

tukaj je, kako sem naredil moj.Mogoče sem jaz manjkajoči korak nekje.
1.ustvariti imenika
2.razen dve datoteki na zgoraj directory; oblikovanje in PSL
3.teči modelsim, ustvarite projekt / delo directory in točke za številko 1 zgoraj.
4.obremenitvijo dveh datotek v modelsim
5.sestavljanje modela datoteke
6.dodaj vse signale na valovni okno
7.vožnjo teh ukazov
8.pritisnite gumb za vožnjo (kot je prikazano na sliki)

hvala
Oprosti, ampak, kar potrebujete za prijavo v to prilogo, da si ogledate

 
You must log in or register to reply here.

Welcome to EDABoard.com

Sponsor

Back
Top