Closed GoogleCodeExporter closed 9 years ago
Good catch, how did you manage to discover this? Fixed in the trunk.
I currently use the truth tables to verify the packer for pure soft logic
designs. I was planning on extending that code so that we can do equivalence
checking post place-and-route for general circuits. That way, we can use tools
independant of VPR (ABC for example) to check that VPR produces logically
correct circuits post place-and-route. This would be much stronger
verification than verification within VPR because if, for example, VPR has a
messed up netlist reader, the missed logic will get caught by the third party
tool.
Original comment by JasonKai...@gmail.com
on 21 Mar 2012 at 10:16
Original comment by JasonKai...@gmail.com
on 21 Mar 2012 at 10:17
Thanks for making the fix.
I use the truth table to generate the SRAM values in a LUT for power analysis.
My code was crashing when trying to parse ' 0' as it is not in the normal
.names format.
Original comment by jeffrey....@gmail.com
on 21 Mar 2012 at 11:09
Original issue reported on code.google.com by
jeffrey....@gmail.com
on 21 Mar 2012 at 5:31