摘要
为了克服基于定性仿真的潜在通路的局限性,提出一种改进的Q3算法(ImQ3),并将其用于潜在通路分析(SCA).ImQ3对Q3算法作了3方面的改进:定性状态描述的改进,单调约束关系的改进以及步长精炼技术的改进.分别用定性仿真,Q3算法以及ImQ3算法对一个典型电路进行潜在通路分析.统计结果发现,ImQ3算法的正确率达到98%.
To fully utilize quantitative information and discover more sneak circuits as possible, an improved semiquantitative simulation (ImQ3) algorithm based on Q3 is introduced into sneak circuit analysis. The improvements of ImQ3 consists three aspects: Improvement of qualitative states description, monotonic constraint and step size refinement. ImQ3 predicts all functions of system using semi-quantitative model of system, and the sneak circuits are discovered by comparison predicted functions with designed functions under the same conditions. A typical example is used to test qualitative simulation, Q3 algorithm and ImQ3 algorithm respectively. The statistical result shows that the accuracy of ImQ3 is 98%.
出处
《控制与决策》
EI
CSCD
北大核心
2007年第8期893-898,共6页
Control and Decision
关键词
潜在通路分析
Q3算法
半定量仿真
步长精炼技术
定性状态
Sneak circuit analysis
Q3 algorithm
Semi-quantitative simulation
Step size refinement
Qualitative state