Design automation of electronic system , 1998 , 3 : 581 - 599 2提出一种新的可观测性覆盖分析方法。
An efficient evaluation and vector generation method for observability - enhanced statement coverage 基于可观测性语句覆盖准则的评估分析与激励生成方法
In proc . 36th design automation conference , new orleans , usa , june 21 - 25 , 1999 , pp . 666 - 671 3提出一种新的基于可观测性语句覆盖评估准则的激励生成方法。
A hierarchical structure vhdl model and a simulation algorithm suitable for debugging . chinese journal of computers , 1997 , 20 : 996 - 1002 针对上述问题,本文开展以下工作: 1提出一种精确简练的可观测性信息模型。
A sat solver using advanced reasoning . in proc . the fifth international asic conference , beijing , china , 2003 , pp . 183 - 186 在此基础上采用控制-观测链来记录在具体每一时间帧扩展过程中,变量以及语句的可观测性信息。
Based on the single station bearings - only passive locating system ( ssbopls ) , the system ’ s observability and filtering divergence are researched in this thesis 论文基于只测角单站无源定位系统,研究了系统的可观测性以及滤波发散问题。
The power system state estimation involves network topology , network observability analysis , state estimation and detection and identification of bad data 电力系统状态估计的内容包括:网络拓扑分析、网络可观测性分析、状态估计、状态估计潮流、不良数据检测和辨识等。
Ieee trans . computers , may 1992 , 41 : 654 - 659 . 18 fallah f , devadas s , keutzer k . occom - efficient computation of observability - based code coverage metrics for functional verification 该方法采用变量的赋值和引用作为可观测性分析的基础,可以很容易地与其它考虑可控制性的覆盖准则相结合。
Simulations show that this method is effective . observability analysis and error analysis are also given . in chapter three , ambiguity elimination for phase difference measurement data is discussed 本章还针对该无源定位问题进行了可观测性分析和单次定位随机误差分析,给出了分析结果。