Hi all,
Thanks Tristan for working on implementing PSL support in GHDL. I've spent the
last couple of days messing about with it and I have some feedback.
** The first line of them manual "PSL implementation" page is unclear to me.
Should the PSL stuff go in separate files or in the VHDL files? I've written
the PSL stuff directly in the vhdl files and that works (as I would expect). If
the separate files referred to on the manual page are GHSL implementation files
I don't think it should be mentioned in the manual.
**In the "PSL implementation" page it states "A PSL statement is considered as
a concurrent statement, and therefore is
allowed only where processes are." At first I understood this to mean that PSL
statements were only allowed within processes. Maybe this should be reworded. I
don't have any good suggestions, though.
**Is the PSL "cover" directive supported and if so how do I get the information
from it after a testbench run?
**When analyzing a PSL assertion involving a specific bit of a std_logic_vector
or other array type (is that called a slice?) GHDL will crash with an unhandled
exception. I've filed this bug on the GNA site.
**GtkWave 3.3.1 will crash with a seg fault when loading a ghw file from GHDL
0.29. GtkWave 3.1.10 does not have this problem. I haven't checked the versions
in between. I don't know whether this is a GtkWave or GHDL problem so I filed
the bug with both bug trackers.
Regards,
Kevin Steffensen
_________________________________________________________________
Windows Live: Keep your friends up to date with what you do online.
http://www.microsoft.com/middleeast/windows/windowslive/see-it-in-action/social-network-basics.aspx?ocid=PID23461::T:WLMTAGL:ON:WL:en-xm:SI_SB_1:092010_______________________________________________
Ghdl-discuss mailing list
[email protected]
https://mail.gna.org/listinfo/ghdl-discuss
