search

ominux / vtr-verilog-to-routing

Automatically exported from code.google.com/p/vtr-verilog-to-routing
0 stars 0 forks source link

Read and write netlist #73

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1.do packing and write .net using output_clustering and local variables (clb, 
num_clb)
2. read the .net using read_netlist and fill out global variables (block and 
num_blocks).
3. rewrite the .net using output_clustering function and block and num_blocks 
global variables.

What is the expected output? What do you see instead?
I expect to get the exact same .nets but,the .net generated using global 
variable "block" is different from the first .net generated from local variable 
"clb" used in cluster.c.

What version of the product are you using? On what operating system?
VTR.V1.0,Linux.

Please provide any additional information below.
since the second .net is different and has some inconsistency, it fails in 
print_stat function as well.
I'm attaching a patch and the two generated .nets.

Original issue reported on code.google.com by eslam...@gmail.com on 29 Dec 2013 at 1:33

Attachments:

GoogleCodeExporter commented 9 years ago 
This code is currently being refactored so it is unclear whether or not this 
bug still holds true.  Preliminary tests suggests it has been fixed.  

After the next recode (in two weeks), I'll check again for correctness, rather 
than chase a bug inside code that is already legacy.

Original comment by JasonKai...@gmail.com on 14 Jul 2014 at 6:23

GoogleCodeExporter commented 9 years ago 
A blif dump of the pre-placement netlist passes formal equivalence checks with 
the input pre-pack netlist.  I think it is safe to close the issue.

Original comment by JasonKai...@gmail.com on 16 Jul 2014 at 4:59