Beispiel #1
0
    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
Beispiel #2
0
    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
Beispiel #3
0
    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
Beispiel #5
0
    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