Qconnect (Formal connectivity)

Coverage
, ,
1

I am trying to run Qconnect (formal tool ) and ending up getting the following error. Any help/suggestion would be helpful

The elaboration step is failing due to these errors:

4144 # Fatal : Vopt error. /thw/ip/skynet/1.0/HD/top/rtl/skynet.sv(85): (vopt-2730) Undefined variable: ‘NUM_EO_RX_TARGS’. [parser-284]
4145 # : Elaboration will abort.
…
4153 # Fatal : Vopt error. /thw/ip/skynet/1.0/HD/top/rtl/skynet.sv(766): (vopt-2730) Undefined variable: ‘GPIO_XTND_NUM_REG_BITS’. [parser-284]
4154 # : Elaboration will abort.
4155 # Fatal : Vopt error. /thw/ip/skynet/1.0/HD/top/rtl/skynet.sv(85): (vopt-13294) Identifier must be declared with a port mode: ov_rx_spi. [parser-284]
4156 # : Elaboration will abort.
4157 # Optimization failed
4158 # Fatal : Design elaboration failed. [command-188]
4159 # : Processing will abort.

2

In reply to venkatasubbarao sutrave:

You need to investigate the error message like you would in any programming language. Did you define these variables or not?

But if you think this error message is invalid, you’ll have to consult your tools manual, or contact the vendor directly as this Mentor sponsored forum is not for discussion of tool specific issues.