Hello GHDL users,
as I use PSL @ work with Modelsim, I've tried it @ home with GHDL because I've seen some PSL support mentioned in the code base and the documentation. So, as I understand, simple subset is supported in GHDL, when using inside of comments starting with psl and followed by a PSL keyword like 'assert', for example: -- psl assert always (re -> not(empty)) @ rising_edge(clk); This works as expected, but when i add a report statement to the assertion, GHDL gives me an error: -- psl assert always (re -> not(empty)) @ rising_edge(clk) report "ERROR: read enable & empty @ same time!"; ghdl -a --std=02 -fpsl --ieee=synopsys fifo_tb.vhd fifo_tb.vhd:235:43: ';' is expected instead of 'report' ghdl: compilation error make: *** [fifo_tb.ghw] Error 1 So, it seams that reports in PSL statements are not supported. But that would be nice. So this is some kind of feature request :) I've tried the same with PSL cover directives but it seems that the PSL cover statement isn't supported by GHDL (it seems to be ignored). That would be another feature request ;) Greets, Torsten -- Blog: http://blog.goodcleanfun.de Github: https://github.com/tmeissner _______________________________________________ Ghdl-discuss mailing list [email protected] https://mail.gna.org/listinfo/ghdl-discuss
