def simplify(aiger_in, aiger_out): with temp_file_names(2, suffix=".aig") as tmp: saved = utils.save_po_info(aiger_in, tmp[0]) pyabc.run_command("read_aiger %s" % tmp[0]) pyabc.run_command("dc2 ; dc2 ; dc2 ; dc2") pyabc.run_command("write_aiger %s" % tmp[1]) utils.restore_po_info(saved, tmp[1], aiger_out) return True
def simplify(aiger_in, aiger_out): with temp_file_names(2, suffix='.aig') as tmp: saved = utils.save_po_info(aiger_in, tmp[0]) pyabc.run_command( 'read_aiger %s'%tmp[0] ) pyabc.run_command( 'dc2 ; dc2 ; dc2 ; dc2' ) pyabc.run_command( 'write_aiger %s'%tmp[1] ) utils.restore_po_info( saved, tmp[1], aiger_out ) return True
def simplify(aiger_in, aiger_out): with niklas.temp_file_names(2, suffix='.aig') as tmp: saved = utils.save_po_info(aiger_in, tmp[0]) par.read_file_quiet(tmp[0]) par.pre_simp() pyabc.run_command('write_aiger %s' % tmp[1]) utils.restore_po_info(saved, tmp[1], aiger_out) return True
def simplify(aiger_in, aiger_out): with niklas.temp_file_names(2, suffix=".aig") as tmp: saved = utils.save_po_info(aiger_in, tmp[0]) par.read_file_quiet(tmp[0]) par.pre_simp() pyabc.run_command("write_aiger %s" % tmp[1]) utils.restore_po_info(saved, tmp[1], aiger_out) return True
def simplify(aiger_in, aiger_out): print 'SIMPLIFY: start simplify', aiger_in, aiger_out with liveness.temp_file_names(2, suffix='.aig') as tmp: saved = utils.save_po_info(aiger_in, tmp[0]) par.read_file_quiet(tmp[0]) par.pre_simp() pyabc.run_command('write_aiger %s' % tmp[1]) utils.restore_po_info(saved, tmp[1], aiger_out) print 'SIMPLIFY: ended simplify' return True