berkeley-abc/abc

PI and PO names are changed after &deepsyn

iahks opened this issue · 1 comments

After &deepsyn, PI and PO names are changed into other names like pi00, pi01, ... , po00, po01 , ... , instead of the names of the origin netlist, and thus would fail the cec checking, is there any way to fix this?

Oh I figure out by adding &get -n