论文部分内容阅读
本文提出了将SPIN应用到同步时序逻辑中以辅助硬件设计,并成功地将其应用到两个具体的同步时序逻辑电路中,且进行了验证.这有力地说明了SPIN在一定程度上辅助硬件设计的可行性,因而在这一方向进行更深入的研究具有一定的现实意义.
SPIN在同步时序逻辑中的应用
【摘 要】
：
本文提出了将SPIN应用到同步时序逻辑中以辅助硬件设计,并成功地将其应用到两个具体的同步时序逻辑电路中,且进行了验证.这有力地说明了SPIN在一定程度上辅助硬件设计的可行
【机 构】
：
兰州大学信息科学与工程学院,兰州,730000
【出 处】
：
2005年全国理论计算机科学学术年会
【发表日期】
：
2005年期
其他文献
在上海自贸区金融开放战略进入到一个全面推动阶段之际,我们进行了大量的国际经验比较,从中得出了最明确的政策建议就是:金融自由化的“顺序”安排不是最重要的因素,而最最关
人力资源业绩评价可基于其执行任务实例的行为过程,也可基于行为结果.本文所阐述的业绩评价模型是指基于人力资源执行任务的行为结果记录—工作流日志来对人力资源业绩做定量
本文考察了数据流上的连接算法,在前人关于连接算法研究的基础上提出了一种具有自适应性的数据流连接算法,并讨论了相关负载丢弃等问题.实验证明了算法的有效性.
XML已经成为Internet上数据交换的标准方式,创建简洁且通用的XML文档是必不可少.相对于传统的设计方法来说,UML更加适合于构建复杂的应用程序,通过使可视图转化为XML及其模式
翻过废都亨比的一座座山丘，远远近近，高处上如希腊神殿一般的12座残存殿堂，依然留下了挺拔的石柱和墙壁，在石山和椰林中，仿佛天外战场的遗留。 亨比是印度毗奢耶那伽罗（Vijayanagara）帝国最后的首都遗址。离亨比最近的火车站是霍斯佩特（Hospet），我搭乘17225次阿玛拉瓦蒂特快，花了一宿来到这里。我见识到了印度南方不同于北方的一面：开往亨比巴士的售票员是年轻的小姐，而在广阔的北方，这种
本文通过建立船舶制造业领域本体库,消除船舶概念语义上的分歧,并根据分类标准的不同建立多棵分类树,形成分类树森林实现船舶工程图纸的语义分类管理与条件查询.本文定义船舶
会议
决策树分类算法是数据挖掘中的一个重要问题.本文提出了一个基于数据流的并行决策树分类算法.使用了抽样的方法来构造决策树,对数值属性的处理使用了数值间隔剪枝策率,并在准
金融巨头花旗集团的董事长即将更换，接任者是迈克尔·奥尼尔（MichaelO’Neill）。这位曾在2000年--2004年担任夏威夷银行《BankofHawaiiCorp）CEO的银行家，预计将在4月接替已在花旗
30多年来,中国农业的经营体制一直以家庭承包为主.近年,随着城镇化和农地流转速度的加快,中国的种植业一直存在着走向规模、集约还是维持农户经营的争论.rn3月末,总理李克强