Differences between EDIFNetlist and Tcl for reading logical nets

[harnhua]

Hi,

While using EDIFNetlist methods to read the logical nets from a DCP, I encountered some differences in the total number of nets that I read directly using Tcl in Vivado, and am trying to find out why.

Design: the built-in CPU (HDL) example in Vivado.
I implemented it in Vivado and used one of the resulting "top_opt.dcp" DCPs for this experiment.

Steps:

• In Vivado,

  get_nets -hier

• Using RapidWright,

  
  
  Map<String,String> parent_net_map = edif_netlist.getParentNetMapNames();
  
  for (String net : parent_net_map.keySet()) {
  
  ...

The logical nets returned by Tcl (96874 nets) include four nets that are missing from the EDIFNetlist output (96870 nets), namely:

cpuEngine/or1200_sb/or1200_sb_fifo/async_fifo/hard_fifo.fifo_gen[68].fifo36_2_inst.FIFO_DUALCLOCK_MACRO_inst/fifo_dat_o[0]
cpuEngine/or1200_sb/or1200_sb_fifo/async_fifo/hard_fifo.fifo_gen[68].fifo36_2_inst.FIFO_DUALCLOCK_MACRO_inst/fifo_dat_o[1]
cpuEngine/or1200_sb/or1200_sb_fifo/async_fifo/hard_fifo.fifo_gen[68].fifo36_2_inst.FIFO_DUALCLOCK_MACRO_inst/fifo_dat_o[2]
cpuEngine/or1200_sb/or1200_sb_fifo/async_fifo/hard_fifo.fifo_gen[68].fifo36_2_inst.FIFO_DUALCLOCK_MACRO_inst/fifo_dat_o[3]

Examining the EDIF file, the portion containing the "missing nets" looks like:

         (net (rename fifo_dat_o_0_ "fifo_dat_o[0]") (joined
          )
         )

whereas a logical net that isn't missing is defined like this:

         (net (rename fifo_dat_o_10_ "fifo_dat_o[10]") (joined
          (portref (member DO 53) (instanceref genblk5_0_fifo_36_bl_1_fifo_36_bl_1))
          (portref I0 (instanceref wb_adr_o_10__i_1__0))
          )
         )

Do the EDIF differences explain why EDIFNetlist doesn't seem to recognize some nets as such?
What is a good way to reconcile such differences?

Attaching the DCP and EDIF files in case they are helpful.

Thanks,
top_opt.zip

Harnhua