首页> 中文期刊> 《中国科技信息》 >数字电路的STE验证方法研究

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

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《中国科技信息》 |2009年第6期|140142|共2页
作者
张立峰;
展开▼
作者单位

兰州交通大学数理与软件工程学,730000;

展开▼
原文格式 PDF
正文语种 chi
中图分类调整、测试、校验;
关键词
STE; 轨迹公式; 轨迹断言;

相似文献

中文文献
外文文献
专利

1. 调节小鼠ste20样激酶1的miRNA的筛选与功能验证 [J] . 祁慧 ,李雨涵 ,梁涵子 . 宁夏医科大学学报 . 2020,第007期
2. FPGA硬核处理器系统加速数字电路功能验证的方法 [J] . 刘小强 ,袁国顺 ,乔树山 . 电子与信息学报 . 2019,第005期
3. 实验验证教学方法在中职数字电路触发器中的实用分析 [J] . 吴志明 . 大众科技 . 2013,第004期
4. 数字电路IP软核任务流方法验证 [J] . 何朝军 ,李哲英 . 电子测量技术 . 2011,第8期
5. 在数字电路验证中使用模型检验 [J] . 李鸿儒 ,宋强 . 科学技术与工程 . 2008,第008期
6. 从数字电路测试和验证的角度看软件测试和验证 [C] . 梁业伟 ,杨志娟 ,石茵 . 第九届中国集成电路测试学术年会 . 1999
7. 数字电路并发行为的STE验证方法 [A] . 张秀秀 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号