Skip to content

mix_oabcd.v: *.v after 'logopt' passes (aig, rf)

Sergey Smolov requested to merge feature-mix_oabcd-aig-and-rf into isp-main

The commit includes 'mix_oabcd.v' examples that were produced by Utopia EDA by applying the following optimization passes to the initial example -- 'logopt aig', 'logopt rf' respectively.

Signed-off-by: Sergey Smolov smolov@ispras.ru

Merge request reports