数字电路的STE验证方法研究

作者:张立峰

摘要:符号轨迹计算(Symbolic Trajectory Evaluation,简称STE)方法是一种新的基于符号模拟的模型检验方法,它将符号模拟技术的电路建模能力与时序逻辑模型检验技术的自动分析能力结合,使得对于数字电路的验证效率得到了很大的提高。本文将综述符号轨迹计算的基本理论。

分类:
  • 期刊
  • >
  • 自然科学与工程技术
  • >
  • 基础科学
  • >
  • 基础科学综合
收录:
  • 万方收录(中)
  • 上海图书馆馆藏
  • 国家图书馆馆藏
  • 知网收录(中)
  • 维普收录(中)
关键词:
  • ste
  • 轨迹公式
  • 轨迹断言

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

期刊名称:中国科技信息

期刊级别:部级期刊

期刊人气:17733

杂志介绍:
主管单位:中国科学技术协会
主办单位:中国科技新闻学会
出版地方:北京
快捷分类:科技
国际刊号:1001-8972
国内刊号:11-2739/N
邮发代号:82-415
创刊时间:1989
发行周期:半月刊
期刊开本:A4
下单时间:1个月内
复合影响因子:0.32
综合影响因子:0.31