计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2006年
4期
228-229,232
,共3页
模型评估%强对应集%弱对应集
模型評估%彊對應集%弱對應集
모형평고%강대응집%약대응집
给出了利用测试向量进行评估的基本理论方法,以及强对应集和弱对应集的定义及推论.按该方法,依不同模型生成测试向量,然后进行相互间的覆盖计算,以比较模型的优劣.最后对ITC99-benchmark电路进行实验,结果表明该方法是有效的.
給齣瞭利用測試嚮量進行評估的基本理論方法,以及彊對應集和弱對應集的定義及推論.按該方法,依不同模型生成測試嚮量,然後進行相互間的覆蓋計算,以比較模型的優劣.最後對ITC99-benchmark電路進行實驗,結果錶明該方法是有效的.
급출료이용측시향량진행평고적기본이론방법,이급강대응집화약대응집적정의급추론.안해방법,의불동모형생성측시향량,연후진행상호간적복개계산,이비교모형적우렬.최후대ITC99-benchmark전로진행실험,결과표명해방법시유효적.
