PSL fil-Modelsim

L

Laverne

Guest
Hei alle,

Kan noen vennligst bekrefte om dette er sant ...
For simulering, i stedet for å skrive en vanlig testbench du ville skrive en psl filen for utforming og bruk Modelsim å simulere.
Jeg er veldig ny i dette vhdl ting og har gjort mye lesing, men likevel forvirre

<img src="http://www.edaboard.com/images/smiles/icon_cry.gif" alt="Crying eller Veldig trist" border="0" />Hvis det er sant, kan du gi en enkel design med psl slik at jeg kan følge gjennom den.

Takk på forhånd

hilsen

 
Hei jeg er ikke sikker på. Psl fil ... men du kan absolutt bruke. Gjøre filen å simulere dine verilog eller vhdl fil ...den. gjøre filene makroer ...Du må ha brukt kommando vinduet i modelsim å tvinge innganger ...må du bruke de samme kommandoer for å skrive det. gjøre filen og kan simulere det ....

 
Takk for innspill.
Alle andre som har noen forslag?

Hilsen

 
hi ikke kjent om PSL-fil, men engasjert også bruker. gjøre filen.

 
Hei,
Det jeg vet er at du kan bruke TCL eller filer, og jeg tror at PSL filer står for Eiendom bestemt språk.
PSL er designet for å brukes av både formelle (matematiske bevis) og dynamisk (simulering basert) metoder for å sjekke.

 
du kan ha PSL egenskaper direkte i din RTL code ... eller du kan ha vunits (bekreftelse enheter) i separate filer med alle egenskapene samlet opp ... og disse vunits er bundet til design-filer

 
Takk for svaret.din innsats i å prøve å hjelpe er meget verdsatt.

hva jeg ser etter er et eksempel på en enkel design pluss ekstern psl fil (Verifikasjonen enhet fil) som jeg kan følge med ved hjelp modelsim.
så utgangspunktet ... to filer.
1.design.vhd
2.design_tb.psl

Xmas for alle.

hilsen
Laverne

 
Hei,
Det er noen eksempler med ModelSim er de enkelte hvor stort design ..hvis du vil at jeg kan laste dem.

 
lese denne boken kan du ...

Bruke PSL / Sugar for formell og Dynamic Kontrollkode
2nd Edition
Guide to Property Spesifikasjon Språk for Assertion-Based Kontrollkode

Jeg
er ikke sikker på om det her på forumet ... Jeg hadde det som paperback ... det har flotte eksempler på hva du vil ...

 
Walid,
Hvis du kan bør du laster dem opp.Har du en trinnvis prosess for hvordan å simulere en design med en psl filen med Modelsim?det enkleste det bedre så jeg er veldig ny i dette vhdl ting.

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Veldig Glad" border="0" />salma Ali Bakr,
Takk for heads up.Lagt etter 3 minutter:Dette er hva jeg fant i søket.koblingen nedenfor har både design og psl fil.
utgangspunktet i kopier / lim inn både design og psl fil og simulere med modelsim men noe jeg aldri se påstand del / verdi i modelsim.
Hva er det jeg mangler?

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

 
du må legge til påstander til bølge ...
du finner dem under designet enhet ..
og du bare høyreklikke og legge dem til bølgen
de skal gi deg bestått eller mislyktes ...
osv.
 
Her er det, men det er noen Hvor stort.
Instruksjonene er i en fil "doit.sh", så hvis du har Linux eller Cygwin på Windows bare bruke "doit.sh demo" ...ellers bare åpne filen, og u kan finne ModleSim instruksjonene.
Dens en av ModelSim eksempler, slik at du kan finne den på Modeltec.... / eksempler / psl / vhdl /
Beklager, men du må logge inn for å vise dette vedlegget

 
Jeg har det å arbeide med psl bruker modelsim.
men nå fikk jeg et annet problem.når jeg kjører simuleringen Jeg har ingenting, men røde og blå linjene i bølge vinduet.Dette skjer bare når du bruker psl.med et vanlig testbench er det timing diagram.må jobbe med dette.

igjen, takk til alle for all hjelp

hilsen

 
Hei,

* Hvorfor ikke lister ModelSim kommandoene du bruker og laste opp design?
* Hva ModelSim versjonen, bruker du?

 
hei,

Jeg har vedlagt 2 filer.
en er et design og det andre er psl fil.

Vær oppmerksom på at jeg ikke etter design seg som kan ses fra filen.
hva jeg etter er hvordan å simulere design med en psl filen som motsetter til et vanlig testbench.så derfor ... filen er bare noen helt grunnleggende ting.

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Veldig Glad" border="0" />Jeg er ikke sikker på dette er måten å gjøre det.det er mitt første forsøk på å prøve psl og også noen hva nye vhdl.

modelsim versjon 6.2c Se

hilsen
Beklager, men du må logge inn for å vise dette vedlegget

 
Jeg så både filer
de skal fungere ordentlig

så du simulerte de psl fil
og hva som skjedde ...?noe galt med bølger ..?

Jeg har jobbet med psl før, men aldri prøvd å gjøre separate filer for eiendommene
Det
er alltid bedre å legge dem i koden din,
vil det bli lettere denne måten å følge opp med dem ... eller sette dem i testen benk ... ikke nødvendig å bruke vunit selv ... men det
er alltid god praksis å teste utestet

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Veldig Glad" border="0" />
 
Her er hva jeg gjort ......

bruke disse kommandoene:
vcom DFF_CLEAR.vhd-pslfile DFF_CLEAR_TB.psl
vsim dff_clear-assertdebug
vise påstander

Prøv deretter å tvinge signaler ved hjelp av ModelSim GUI ....i stedet for en testBench
og her er utsikten jeg har.
Beklager, men du må logge inn for å vise dette vedlegget

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

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Veldig Glad" border="0" />god jobb mann
holde opp støtte

<img src="http://www.edaboard.com/images/smiles/icon_arrow.gif" alt="Arrow" border="0" />Jeg visste ikke om-pslfile ting
Fordi jeg hadde de alltid innebygd i design eller testbench
takk for clearing opp

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

<img src="http://www.edaboard.com/images/smiles/icon_smile.gif" alt="Smil" border="0" />og du er velkommen

 
hei,

Jeg følger disse kommandoene og fikk ikke samme resultat.
Gruva fortsatt viser røde og blå linjene.

Kan du klargjøre hva du menes med:
tvinge signaler ved hjelp av Modelsim GUI ... i stedet for en testbench.

her er hvordan jeg gjøre mitt.Kanskje jeg mangler et skritt sted.
1.opprette en katalog
2.lagre to filer til ovennevnte katalog, design og psl
3.kjøre modelsim, oppretter prosjekt / arbeid katalog og velg nummer 1 ovenfor.
4.laste to filer til modelsim
5.kompilerer design fil
6.legge alle signaler til bølgen vindu
7.kjøre disse kommandoene
8.trykk på Kjør-knappen (som vist fra screenshot)

takk
Beklager, men du må logge inn for å vise dette vedlegget

 
You must log in or register to reply here.

Welcome to EDABoard.com

Sponsor

Back
Top