首页> 中文期刊> 《微电子学与计算机》 >基于模块的层次化模型判别

基于模块的层次化模型判别

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

模型判别技术是验证时序电路的一种重要手段。使用高层次描述的电路设计,往往是由多个相互关联的部分组成,利用此特点,本文提出一种基于模块的层次化建模方法,通过对设计描述进行分析,并结合待验证的性质,达到提高模型判别器性能的目的。实验表明,用这种模型可以实现状态数的有效减少。

著录项

来源
《微电子学与计算机》 |2003年第12期|64-67|共4页
作者
聂江波; 边计年; 薛宏熙; 吴为民; 朱明;
展开▼
作者单位

清华大学计算机科学与技术系;

展开▼
原文格式 PDF
正文语种 chi
中图分类设计;
关键词
集成电路; 设计; 模块; 层次化模型; 模型判别; 有限自动机;

相似文献

中文文献
外文文献
专利

1. 基于多层次判别器的图像翻译模型 [J] . 向晴 ,袁健华 . 软件 . 2020,第003期
2. 复杂导弹武器装备通用层次模块化诊断模型 [J] . 马岑睿 ,严聪 ,张志峰 . 指挥控制与仿真 . 2006,第002期
3. 汽车底盘模块化设计中客户需求层次分析模型研究 [J] . 张利 ,张建国 ,李传斌 . 合肥工业大学学报（自然科学版） . 2005,第009期
4. 基于层次模型的外场可更换模块故障注入方法 [J] . 陈然 ,连光耀 ,秦子龙 . 浙江大学学报（工学版） . 2017,第007期
5. 基于信息技术学科模块化+层次化教学的研究 [J] . 钟悦 . 中外交流 . 2021,第003期
6. 基于多层次错误处理的模块化容错技术 [C] . HUANG Jia-ming ,黄家明 ,CAO Guang-yao . 第十五届全国容错计算学术会议（CFTC'13） . 2013
7. 基于可微架构搜索的层次模块化表示方法研究 [A] . 孟子尧 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号