【摘 要】
：
本文介绍一个GA,MCA设计的模拟验证环境:逻辑模拟器LOSIM,该模拟器中采用了九值代数系统,提高了模拟器检测竞态、险态及潜在错误的能力,元件延迟时间采用了均值/方差来代替传
【机 构】
：
太原卫星发射中心技术部,长沙国防科技大学计算机系
论文部分内容阅读
本文介绍一个GA,MCA设计的模拟验证环境:逻辑模拟器LOSIM,该模拟器中采用了九值代数系统,提高了模拟器检测竞态、险态及潜在错误的能力,元件延迟时间采用了均值/方差来代替传统的最小最大分析技术,保证了模拟精度,避免了过分悲观的模拟结果.模拟器实现中采用了比较合理的数据结构,保证了快速的正向驱动和方便的反向查寻,动态数据结构使主存空间得到了充分利用.LOSIM对循环采用了静态分析的方法,使得LOSIM可对组合网络、同步时序网络、异步时序网络和在给定的初始条件下就已存在振荡的网络进行模拟.
其他文献
本文围绕研制一个大型综合软件工程支撑环境的有关工作,介绍了我们采用面向对象的软件方法开发智能化和集成化软件工程类属环境I_SEE所取得的主要结果.文章通过对I_SEE原型系
本文提出了用于图像处理和压缩的一种有效的图像分层表示方法,讨论了图像的最优或最大块分割和一种线性二元树之间的关系.这种方法比线性四元树和指针四元树法在存储空间和一
<正> 由中国电机工程学会信息化专业委员会和国电信息中心联合举办的“2004年电力行业信息化年会”定于9月下旬召开,现予征集会议论文。
以玻璃管作为自修复混凝土的修复容器，从微分单元体受力平衡的角度选择适宜的玻璃管壁厚，通过试验测定不预埋玻璃管及预埋不同数量玻璃管后的混凝土试块抗折强度值，以抗折强度损
感应电场强度作为电力工作中保证人员、设备安全的一项重要参数,对其计算校核贯穿整个电力工程.目前,针对复杂的感应电场强度计算,需利用计算软件计算得出.由于软件计算本身
<正> 1.引言 为了解决数字电路的测试问题,国内外不少专家学者已经做了大量的研究工作,比如在测试产生方法的研究成果中,有布尔差分法、D算法、PODEM算法、FAN算法、主路径敏
本文提出计算K(≥2)序线性递归N方程组的一种有效并行方法,当k<<N,且K=iP时,其加速S_P=P,效率E_P=1,其中i为1≤i≤m的整数,m=|N/P|,P为所需的处理机数.
本文提出了解决按约束条件求最小代价生成树(简称CMST)问题的两个新算法,即给定结点数N,每个结点的负载,链路的代价及链路的容量后,在符合某些约束条件下,求代价最小的树结构
结合工程实例,介绍了砖烟囱的一种施工方法。该方法在砖烟囱施工中,具有简便、经济、安全、快速等特点。