Is it possible for abc to not optimize combinationally when retiming? #5431
-
|
I would like to use something like Thank you! |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment 1 reply
-
|
No. Abc uses a variety of internal representations, most of which share the property that they are normalizing: some redundant logic is eliminated at the boundary. Structurally, there is no way to disable that. (E.g. if you convert a netlist to an AIG representation you will be doing some elimination of redundancy whether you want it or not.) |
Beta Was this translation helpful? Give feedback.
-
|
Ah gotcha, thanks for the info! |
Beta Was this translation helpful? Give feedback.
No. Abc uses a variety of internal representations, most of which share the property that they are normalizing: some redundant logic is eliminated at the boundary. Structurally, there is no way to disable that. (E.g. if you convert a netlist to an AIG representation you will be doing some elimination of redundancy whether you want it or not.)