摘要:符号轨迹计算(Symbolic Trajectory Evaluation,简称STE)方法是一种新的基于符号模拟的模型检验方法,它将符号模拟技术的电路建模能力与时序逻辑模型检验技术的自动分析能力结合,使得对于数字电路的验证效率得到了很大的提高。本文将综述符号轨迹计算的基本理论。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
相关期刊
相关论文
期刊名称:中国科技信息
期刊级别:部级期刊
期刊人气:17733