ABC segfault on "retime"

[GoogleCodeExporter]

What steps will reproduce the problem?
1. ./abc
2. abc>read example.blif
3. abc>retime

What is the expected output? What do you see instead?
I would expect ABC to retime the circuit, instead it segfaults.

What version of the product are you using? On what operating system?
VTR 7.0, on Ubuntu 14.04.1 LTS 64b

Please provide any additional information below.

In the default VTR flow, ABC's commands don't include register balancing.
The command is as follows:
time; resyn; resyn2; if -K $lut_size; time; scleanup; time; scleanup; time; 
scleanup; time; scleanup; time; scleanup; time; scleanup; time; scleanup; time; 
scleanup; time; scleanup; time;

This works fine, but to improve timing, I tried adding "retime;" somewhere in 
the above command. Unfortunately that causes ABC to segfault, even with very 
simple examples (see attached 128b adder, that I was hoping ABC could pipeline 
for me).

I'm not sure if the "retime;" command is not supported any more? Is there a 
better alternative?
Here I also found the command "if -s":
http://www.eecs.berkeley.edu/~alanmi/abc/abc.htm
This runs without a segfault, but doesn't do any pipelining.

Attached are the example verilog file, and associated odin-generated blif.

Thanks!

Original issue reported on code.google.com by edin.kad...@gmail.com on 7 May 2015 at 4:51

Attachments:

• example.blif
• example.v

[GoogleCodeExporter]

It also segfaults on the very small hand-coded file "small.blif"

Original comment by edin.kad...@gmail.com on 7 May 2015 at 4:59

Attachments:

• small.blif

[GoogleCodeExporter]

ABC is maintained by the logic synthesis folks up at UC Berkeley.  You may want 
to talk to them, or alternatively, try the latest version of ABC in their 
repository.
http://www.eecs.berkeley.edu/~alanmi/abc/

Original comment by JasonKai...@gmail.com on 7 May 2015 at 8:16

• Changed state: WontFix

[GoogleCodeExporter]

Thanks for letting me know, I thought ABC wasn't maintained any more, but 
somehow merged with the VTR project.
"retime" works with the latest ABC version found here: 
https://bitbucket.org/alanmi/abc/downloads

Original comment by edin.kad...@gmail.com on 7 May 2015 at 8:46