1.
Sequential Equivalence Verification Combining Relational Modeling with Term Rewriting Technique
结合关系建模与项重写技术的时序电路等价验证
2.
Research on Storage Elements Mapping for Sequential Equivalence Checking
时序电路等价性检验中的存储元素映射方法研究
3.
The Study on Functional Verification Methods and Technologies for Sequential Circuits;
时序电路的功能验证方法和技术研究
4.
System Architecture of Equivalence Checking System of Integrate Circuits and Implementation;
集成电路等价性验证系统设计及其实现
5.
An Equivalence Checking Method for Circuits with Black Boxes Based on Logic Cone and SAT;
基于逻辑锥和SAT的带黑盒电路等价性验证方法
6.
Combinational equivalence checking based on AIG reasoning
用AIG推理检验组合电路的等价性
7.
Simulation-based equivalence verification for fixed-point arithmetic datapaths
基于模拟的定点算术数据通路等价性验证
8.
Experiment Teaching Exploration of Sequential Logic Circuit Based on Matlab
基于Matlab的时序逻辑电路的实验教学探索
9.
programmed automatic circuit tester
程序自动电路试验装置
10.
Equivalence Verification of High-Level Datapaths Based on Polynomial Symbolic Algebra
基于多项式符号代数方法的高层次数据通路的等价验证
11.
PARTNER (Proof of Analogue ResultsthroughNumericalE-quivalent Routine)
用数字等效程序验证模拟结果
12.
Design on Voltage Transformation Circuit of Sequential Signal for EMBCCD
EMBCCD时序信号电压转换电路的设计
13.
Securities Corporate Valuation Based on Dynamic Time Series;
基于价值时序动态的证券公司价值评价方法
14.
into which such indication as "this Certificate only certifies that the pre-inspection has been executed for the import of these used mechanical and electrical products before their shipment;
加注“本证书仅代表该进口旧机电产品已按规定的程序和要求等实施了装运前预检验，
15.
Research on the Timing Verification for Full-custom Designed VLSI Chip;
全定制VLSI芯片的时序验证研究
16.
Axiomatization for the first-order projection temporal logic and formal verifications
投影时序逻辑的公理系统与形式验证
17.
Evaluations are done via models to verify such things as stability, water pressure, lighting layouts, power requirements, etc.
通过建模来验证稳定性、防水性、照明布置以及电源的需求等等从而实施评价。
18.
We check equivalence of combinational circuits with FUN algorithm, and experimental results show that FAN algorithm is efficient.
利用该算法进行了组合电路的等价性检验，实验结果表明了该方法的有效性。