On Fri, 2014-06-13 at 01:50 +0200, Torsten Meißner wrote: > Hello GHDL users, > > > as I use PSL @ work with Modelsim, I've tried it @ home with GHDL ... > 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
Thank you for reporting this. Any chance you could attach some little test cases; one which works, one which fails at the "report", one which fails the cover statement? Probably best to open a ticket on sourceforge. - Brian _______________________________________________ Ghdl-discuss mailing list [email protected] https://mail.gna.org/listinfo/ghdl-discuss
