10.3969/j.issn.1001-8972.2009.06.066
数字电路的STE验证方法研究
符号轨迹计(Symbolic Trajectory Evaluation,简称STE)方法是一种新的基于符号模拟的模型检验方法,它将符号模拟技术的电路建模能力与时序逻辑模型检验技术的自动分析能力结合,使得对于数字电路的验证效率得到了很大的提高.本文将综述符号轨迹计算的基本理论.
STE、轨迹公式、轨迹断言
TP306(计算技术、计算机技术)
兰州交通大学科研基金资助项目DXS2008-030
2009-05-12(万方平台首次上网日期,不代表论文的发表时间)
共2页
140,142