VFSim: Concurrent Fault Simulation at Register Transfer Level

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:fh2039
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
VLSI testing is being pushed to the high-level based technology. In this paper a Verilog Register transfer level Model (VRM) for integrated circuits is proposed. The model provides a text format file, which is convenient and more practical for developing succeeding Register Transfer Level (RTL) test tools, such as fault simulation, test patt generation and so forth. Based on the VRM, an RTL concurrent fault simulation approach is presented. After RTL fault models and super faults defined, the concurrent fault simulation algorithm is given. The corresponding RTL concurrent fault simulator,VFSim, was implemented. The initial experiments show that the RTL fault simulator is efficient for VLSI circuits.
其他文献
某养殖户饲养海兰褐蛋鸡8000只,250日龄时开始发病,每天死亡10~30只,6天内共死亡370只,初期疑为鸡新城疫,但用Ⅳ系苗饮水后,仍然继续死亡.该鸡群发病2天后,曾用肾肿解毒药治疗
Increasing IC densities necessitate diagnosis methodologies with enhanced defect locating capabilities. Yet the computational effort expended in extracting diag
异位骨化(heterotopic ossification,HO)是指在软组织出现成骨细胞,并形成骨组织.多半发生在大关节周围,例如髋关节、肘关节等.随着近年来手术治疗髋臼骨折的增加,异位骨化作
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
当前,在各项促进休闲农业发展的政策支持引导以及快速增长的休闲消费需求拉动下,休闲农业产业发展迅猛,已经成为乡村振兴战略中促进产业升级转型和农民增收致富的支柱产业。但是,在现有休闲农业模式中,相当一部分园区经营状况并不理想。从事休闲农业必须注意以下6个问题,避免投资经营失误。  规划要有前瞻性  有些投资者不重视园区规划设计,盲目自信,认为做休闲农业很简单,仅凭着满腔热情和对农业的情怀,盲目轻率进入
期刊
2014年,新乡市农产品质量安全检测工作,继2012年、2013年之后,再次被新乡市委、市政府确定为2014年十项民生工程之一.rn自2007年以来,市、县(市、区)农产品质量安全检测机构,
无症状脑梗死(SBI)是指临床上缺乏相应的神经系统症状与体征,经头颅CT、磁共振成像(MRI)或尸检能发现的脑梗死灶[1]。SBI又称静止性脑梗死,其发病率文献报道不一。国内陈军[2
(一)病因 引起肉鸡腹水综合征的因素很多,病因复杂,但归纳起来主要有以下几个方面:rn1.遗传因素.肉鸡生长速度快,摄食量大,基础代谢旺盛,代谢率高,对氧气和能量的需要量高.尤
期刊