コード例 #1
0
# -*- coding: utf-8 -*-

from circuit import Circuit
from atpg_v0 import ATPG
import pdb

ckt = "c17"
circuit = Circuit(ckt)
circuit.read_circuit()
circuit.lev()

#observability() need to follow controllability()
circuit.controllability()
circuit.observability()

# circuit.STAFAN_CS(7000)
# circuit.STAFAN_B()
circuit.STAFAN(10000, num_proc=2)
circuit.co_ob_info()
graph = circuit.gen_graph()