2. 您的位置
3. 首页
4. 期刊论文
5. 有限自动机RTL描述的一种有效逻辑转换

有限自动机RTL描述的一种有效逻辑转换

来源 :计算机学报 | 被引量 : 0次 | 上传用户：wangj30

【摘 要】

：

<正> 本文为有限自动机M的RTL描述(有限自动机M的RTL描述请参看文[2])建立了几种转换规则和等效定理,并根据这些规则和定理将M的RTL程序转换为与M的硬件结构相对应的逻辑表达

【作 者】

：

袁永升 

【机 构】

：

东北师范大学物理系

【出 处】

：

计算机学报

【发表日期】

：

1990年6期

【关键词】

：

有限自动机 RTL描述 逻辑转换 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

<正> 本文为有限自动机M的RTL描述(有限自动机M的RTL描述请参看文[2])建立了几种转换规则和等效定理,并根据这些规则和定理将M的RTL程序转换为与M的硬件结构相对应的逻辑表达式。 1.预处理 为了进行这种转换必须做如下的准备工作。 (1) 为M的RTL程序中的各个语句指定命令字。命令字是语句执行的条件,语句

其他文献

控制农牧生态协调发展的经验（1）

中国的农业成就是近现代世界的重大奇迹之一。中国不仅使13亿人口摆脱了饥饿，而且成为世界粮食、肉食、禽蛋、棉花等农产品产量最多的国家。这其中，应当承认，我国畜牧业成就巨大

期刊

协调发展生态地位控制粮食安全人口增长农产品产量生态平衡畜牧业

多重Syndrome测试及其测试仪

本文介绍一种可对Syndrome不可测电路进行Syndrome测试的多重Syndrome测试技术,它以重复多次的Syndrome测试替代了常规的要求增加控制线和管脚的Syndrome可测试设计技术,文中

期刊

故障测试测试仪逻辑电路

逼近最优的更新最小生成树的并行算法

给定连通无向赋值图G=(V,E),|V|=n,|E|=m,当G的某边的赋值改变时,必引起其最小生成树的改变。本文给出了一个快速有效地求新的最小生成树的并行算法,时间为O(log m),处理器个

期刊

最小生成树并行算法数据结构

“2008蛋种禽技术国际研讨会”在京召开

10月21—23日．“2008蛋种禽技术国际研讨会”在温泉度假胜地小汤山一九华山庄举办．此次会议由诺伟司国际公司主办．美国大豆协会国际项目部协办．来自中国农业大学、西北农业大学、

期刊

国际研讨会技术种禽中国农业大学美国大豆协会中国农业科学院西北农业大学华南农业大学

全球生物柴油发展对油料及农产品价格的影响

2002年以来，以生物柴油为主的世界工业用植物油消费量年均增长22．1％，其中，2006／07年度消费量占到了世界植物油总产量的12．7％。生物柴油的迅猛发展直接引发了全球油料的大幅飙升，农产品

期刊

农产品价格生物柴油油料油发发展趋势消费量植物油工业用

组合逻辑电路的测试故障模型

本文依据组合逻辑电路中功能单元的每一单固定型故障的完全测试集,定义了一种测试故障模型及测试故障的支配与相容关系,在测试生成中采用这种故障模型:(1)可完整描述功能单元

期刊

组合逻辑电路故障测试逻辑电路

孟加拉国禽流感疫情损失严重

孟加拉国畜牧局官员3月30日在达卡表示，自2007年3月孟首次发现禽流感以来，

期刊

禽流感疫情孟加拉国损失畜牧局

基于Warren抽象机的Prolog实现技术的研究

本文介绍了基于WAM的Prolog实现技术的研究结果。首先论述了新的Prolog执行模型WAM-PLUS。该模型由扩充了的WAM和非逻辑成分执行机制NLEM构成。它能支持Prolog动态代码,并能

期刊

抽象机PROLOG

为促进畜牧业持续发展做贡献——中国畜牧业协会第二届会员代表大会在京召开张宝文当选会长

2006年12月25日下午，中国畜牧业协会第二届会员代表大会在北京人民大会堂隆重召开。中共中央政治局委员、国务院副总理回良玉为大会发来贺信。农业部党组副书记、副部长尹成杰

期刊

中国畜牧业协会会员代表大会张宝文持续发展农业部兽医局经济委员会国务院副总理中国奶业协会

带后继位级跟踪的抢先位级调度

本文论述多处理机的最佳调度算法.对于相关任务,文中提出了“PSLT——带后继位级跟踪的抢先位级调度算法”.为实现PSLT调度算法编制了操作原语,并对该算法的最佳性进行了分析

期刊

调度算法PSLT处理机调度