Quantcast
Channel: Cadence Functional Verification Forum
Viewing all articles
Browse latest Browse all 1074

Jasper Gold formal connectivity verification :: Reverse connectivity generated report contains duplicate connections

$
0
0

Hi,

I am using jg connectivity app to get the connection between to modules.

After compilation and elaboration of my design I am using following command 

>> check_conn -generate_candidates -src abc -dest def -complexity straightforward -silent

where abc and def are module name. abc module has only one instance, whereas def module has two instances in design.

>> check_conn -generate_connection_map [check_conn -list candidate] -save_as pqr.csv -force -refine_candidates

The report has duplicates as following - 

CONNECTIONc_17abc_instsource_sig[2]genvar_inst[1].pqr_instdest_sig[0]
CONNECTIONc_18abc_instsource_sig[3:2]genvar_inst[1].pqr_instdest_sig

\\ c_17 connection is duplicate of c_18.

How can i get a report which can remove all these kind of duplicates?


Viewing all articles
Browse latest Browse all 1074

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>