dont need dc to convert resulting_dual_cnf.v to blif