您要查找的是不是:
- This paper discusses equivalence checking for combinational circuits and analyzes the key techniques of FAN algorithm. 摘要讨论了组合电路的等价性检验方法,分析了FAN算法的关键技术。
- The approach can he easily incorporated into existing RTL to gate equivalence checking frameworks and increase the robustness of equivalence checking for arithmetic circuits. 该算法可以直接结合到现有的寄存器传输级(RTL)和门级网表的验证流程中,从而提高算术电路的验证能力。
- The Order Finite State Machine is mew model for electric circuit describe, We can do combinational equivalence checking convenience and quickly by this model. 它是一种电路描述的新的模型,通过这种新模型可以对组合电路的等价性检验进行方便、高效的验证。
- Because equivalence checking is designed to check the correctness of automatic synthesis from RTL to netlist, correctness is also the key point, which is concerned in this paper. 设计验证系统的初衷是验证给定设计从RTL级到网表级自动综合后电路的正确性,所以综合引擎本身的正确性是本文首要关注的问题。
- The combinational equivalence check methods based on recursive learning algorithm are discussed. 并讨论了基于递归学习的组合电路等价性检验方法;
- The equivalence check usually includes both functional and structural verifications. 摘要等价性检验方法通常包括功能性和结构性的验证方法。
- Time complicacy size of this algorithm is polynomial scale under the theories analysis, and algorithm has put some upswing for the former combinational equivalence checking algorithm. 通过对算法的理论性分析可知,算法的时间复杂度为多项式规模的,该算法对现有的等价性检验算法有一定的改进。
- Sequential Equivalence Checking Based on BDD 基于BDD的时序电路等价性验证
- Equivalence Checking for General Purpose CPU Design Verification 通用CPU设计验证中的等价性检验方法
- The plumber made a careful check of the pipes. 管子工对管道做了仔细的检查。
- Using Boolean Satisfiability for Combinational Equivalence Checking 使用布尔可满足性的组合电路等价性验证算法
- Combinational equivalence check based on recursive learning 基于递归学习的组合电路等价性检验方法研究
- The police are checking up on him. 警方正在调查他。
- Enhancing sat-based equivalence checking with improved static implications 利用改善的静态隐含策略加速等价性验证
- Sunday is the best day to check the want ads. 星期天是在报纸上查寻招聘广告的最好的日子。
- Don't do anything before checking up with us. 同我们联系前别采取任何行动。
- Do I help your checking account? 我帮助你核对帐目好吗?
- Don't do anything before checking with us. 同我们联系前别采取任何行动。
- Have you got any rain check for the following game? 你拿到下一场球的免费票了吗?
- It always pays to give your paper one final check. 写了东西最后检查一遍总是有好处的。