【摘 要】
：
本文提出了循环的一种静态分析方法,即左模拟执行前,对网络中存在的循环进行静态分析,进而把对循环的处理转化为对网络线初始相位的确定,简化了对循环的处理。文中所用的算法
【机 构】
：
太原卫星发射中心技术部,国防科学技术大学六系
论文部分内容阅读
本文提出了循环的一种静态分析方法,即左模拟执行前,对网络中存在的循环进行静态分析,进而把对循环的处理转化为对网络线初始相位的确定,简化了对循环的处理。文中所用的算法都是基于文献中所描述的数据结构,本文还提出了对循环进行静态分析所用到的几个定理及其证明。模拟器LOSIM中使用了静态分析方法,使得LOSIM可对组合网络,同步时序网络、异步对序网络和在给定的初始条件下就己存左振荡的网络进行模拟。同时,也提高了模拟器运行的效率。
其他文献
随着计算机技术的发展，计算机支持的协同设计的研究越来越深入，在设计中，人们的工作形式已从个体独立向群体协同方向转化，目的就是要提高设计的质量和效率。本文在分析协同设计应
一、问题的提出和个案的选择 乡镇企业“异军突起”的20世纪80年代,最为引人瞩目的是苏南模式和温州模式并驾齐驱。时至今日,苏南乡镇企业发生了什么样的变化,对农村经济组织
作为一种构件而被引入管道ＣＡＤ系统的智能线，在这里扩展成为描述管线的模型。为提高管道ＣＡＤ系统的特征定位效率，提出了平剖图的３种模式并介绍了若干基于智能线模型的启发式算法，已使得管
本文探讨了庞德的诗学与新历史主义批评方法论之间的亲缘类同性。这一：类同性不是简单地归于庞德与新历史主义之间的关系，而是作为一种结构性原则存在于各自的作品之中：无论在庞
近日，武汉市《餐饮业服务规范》开始正式实施。根据“规范”要求，餐馆企业，包括小吃店、快餐店、饮品店等，周边25米内不得有垃圾站、污水池、公厕等污染源。经营面积100平方米以
荷兰德对莎士比亚戏剧中的“梦”进行了解读:《暴风雨》中凯列班的梦,反映出其口腔期、肛门期、特别是俄狄浦斯期的愿望,体现了此剧自由和奴役的主题及作者写作时的心态;《仲
凯特·格伦维尔是在激进女权运动影响下成长起来的女作家，其早期作品认同激进女权主义关于男权为女性一切苦难之源的思想，从家庭、社会和文化三个方面对于男权进行了抨击和
野蘑菇(Agaricus arvensis Schaeff ex.Fr.)是蘑菇属(Agaricus)又一种近年来广泛栽培的食用菌.由于它的菌丝细胞具有多核,无锁状联合,以及人们对它的繁殖模式和生活史认识的
为了维持边疆民族地区的稳定，巩固封建统治，明清王朝恩威并重，曾在西北、西南地区采取了一系列经营政策和措施，包括设置军政机构、拓展驿路交通、移民屯垦、茶马互市、改土归流等
探寻高考数学试题之源,提升对教材的理解,从而更重视对教材资源的开发和利用,发挥教材、考试大纲和考试说明在高中复习中的导向作用,提升教师的教研能力,帮助学生提高解决问