Conformal LEC renaming rule

[dhivyanandhini]

Hi would like to change

txdata_reg[0] to txdata_reg[3] in golden for unmapped points

my renaming command is not working...
add renaming rule r1 "txdata_reg[0]" "txdata_reg[3]" -Golden -map

may i knw wat changes to be made....

Thank you

 

[rca]

"add mapped points gold_point revised_point -noinvert"
should work?

 

[dhivyanandhini]

txdata[3] of revised is already mapped with txdata[3] of golden....

iam comparing 2 netlist

unoptimized one and optimized one....
in optimized the txdata[0] is optimized and removed whereas txdata[0] remains in unoptimized...

is thr any method to map the txdata[0] to txdata[3].....

 

[NITIN BHARDWAJ]

find out the reason why it is optimized in netlist...use that modeling swithc with set flatten model command....this point will go away and you will get clean results

 

[dhivyanandhini]

hey thanks....
i used flatten model -all_seq_merge option.....
it solved my problem!!!

 

[gourav.panda]

hey thanks....
i used flatten model -all_seq_merge option.....
it solved my problem!!!

HOw TO reset set_flatten model command in LEC ?

 

[englishdogg]

change the value back to the default value or say No
For e.g to the one used above
set flatten model -no_seq_merge (this is default)

Similarly LEC has options for all modelling directives which can be used in your dofile