逻辑模拟验证中波形离散化及冒险问题研究  

Research of dispersed waveform and adventure in logic simulation

作　　者：刘岩[1] 白燕[1] 李静[1] 

机构地区：[1]解放军信息工程大学信息工程学院,河南郑州450002

出　　处：《计算机工程与设计》2008年第1期178-180,共3页Computer Engineering and Design

基　　金：国家863高技术研究发展计划基金项目(2006AA01Z404)

摘　　要：依照布尔过程论中有关波形的描述,研究并设计了便于逻辑模拟响应数据采集的激励输入方法,按照波形离散化的要求,控制两次激励的间隔时间,解决了响应数据间的干扰问题;通过采用加入逻辑门的方法,推迟指定跳变的发生时间,从而避免了冒险现象,同时还保留了原电路的逻辑关系。The method of stimulation input is researched and designed, which is convenient for response of the data collection in logic simulation by description of waveform in boolean process. According to the demand of dispersed waveform, a way to resolve the disturbing problem between the response data by controlling the intervals of the stimulation is introduced and the happened time of appointed jump is postponed by adopting the method of appending the logic gates to avoid the adventure phenomenon and reserve the logic relation of the original circuit at the same time.

关 键 词：布尔过程论 逻辑模拟 波形离散化 竞争冒险 波形激励 

分 类 号：TP391.72[自动化与计算机技术—计算机应用技术]