On Fri, Jan 29, 2010 at 12:36:50PM -0800, lefter mihai wrote:
> Hello,
> 
> Thanks for your reply. It was really helpful and it works now. 
> 
> Do you have any idea how to do also post-map simulation? I've tried the same 
> thing using simprim:
> 
>     ghdl -i --work=simprim simprim/*.vhd
>     ghdl -i --work=simprim simprim/primitive/other/*.vhd
>     ghdl -i *.vhd
>     ghdl -m -g --warn-unused --ieee=synopsys temp_tb
> 
> This is what I get after the last command:
> 
> ../../../src/vital2000/timing_b.vhdl:196:15:warning: procedure "vitalerror" 
> is never used
> ../../../src/vital2000/timing_b.vhdl:217:15:warning: procedure "vitalerror" 
> is never used
> ../../../src/vital2000/prmtvs_b.vhdl:1041:15:warning: function "toedge" is 
> never used
> simprim/other/X_BUF.vhd:35:5:warning: generic "loc" is not a VITAL generic
> simprim/other/X_BUF.vhd:41:5:warning: generic "pathpulse" is not a VITAL 
> generic
> simprim/other/X_OBUF.vhd:41:7:warning: generic "capacitance" is not a VITAL 
> generic
> simprim/other/X_OBUF.vhd:42:7:warning: generic "drive" is not a VITAL generic
> simprim/other/X_OBUF.vhd:43:7:warning: generic "iostandard" is not a VITAL 
> generic
> simprim/other/X_OBUF.vhd:44:7:warning: generic "loc" is not a VITAL generic
> simprim/other/X_OBUF..vhd:45:7:warning: generic "slew" is not a VITAL generic
> simprim/other/X_OBUF.vhd:50:7:warning: generic "pathpulse" is not a VITAL 
> generic
> simprim/other/X_BUFGMUX.vhd:43:5:warning: generic "clk_sel_type" is not a 
> VITAL generic
> simprim/other/X_BUFGMUX.vhd:44:5:warning: generic "loc" is not a VITAL generic
> simprim/other/X_BUFGMUX.vhd:46:7: clock port name of 'ticd' VITAL generic 
> must not appear here
> simprim/other/X_BUFGMUX.vhd:47:7: clock port name of 'ticd' VITAL generic 
> must not appear here
> simprim/other/X_BUFGMUX.vhd:73:7: clock port name of 'ticd' VITAL generic 
> must not appear here
> simprim/other/X_BUFGMUX.vhd:74:7: clock port name of 'ticd' VITAL generic 
> must not appear here
> make: *** [nbitcounter] Error 1

Hi,

it looks like Xilinx simprim is not completely VITAL compliant.  There are
switch to disable VITAL checks: --no-vital-checks.

Tristan.

_______________________________________________
Ghdl-discuss mailing list
[email protected]
https://mail.gna.org/listinfo/ghdl-discuss

Reply via email to