Post synthesis vs. Post PAR verification using Conformal

[alihusaini]

Hello all,

I am trying to do a post syntheis(using netgen command after ngdbuild) vs. post PAR verification using Conformal tool. My problem is that I am getting unreachable points in "revised" design. I am using a hierarchical model (i am new to all these) and my .do file for conformal is as below


set log file lec.top_mod_par.log -replace
set naming rule "%s" -register -both

set undriven signal 0 -both

read design -f $XILINX/verilog/verplex/verilog.vc top_mod_ecn.v -golden -keep_unreach

read design -f $XILINX/verilog/verplex/verilog.vc top_mod_par_ecn.v disp_clock_ecn.v -rev -keep_unreach

set mapping method -unreach
//set flatten module -seq_constant
set sys mode lec
add compare points -all
compare

top_mod_ecn.v : obtained using netgen command after ngdbuild on .edif netlist(from Synplify)
top_mod_par_ecn.v disp_clock_ecn.v : obtained using netgen after PAR

the result from conformal is below :

// Warning: Golden and Revised have different numbers of key points:
// Golden key points = 80
// Revised key points = 91
// Mapping key points ...
================================================================================
Mapped points: SYSTEM class
--------------------------------------------------------------------------------
Mapped points PI PO DFF BBOX Total
--------------------------------------------------------------------------------
Golden 2 28 49 1 80
--------------------------------------------------------------------------------
Revised 2 28 49 1 80
================================================================================
Unmapped points:
================================================================================
Revised:
--------------------------------------------------------------------------------
Unmapped points BBOX Total
--------------------------------------------------------------------------------
Unreachable 11 11
================================================================================
// Command: add compare points -all
// 78 compared points added to compare list
// Command: compare
================================================================================
Compared points PO DFF BBOX Total
--------------------------------------------------------------------------------
Equivalent 28 49 1 78
================================================================================

I will be very much thankful if someone could give a light on my problem.

ciao,
ali.