论文部分内容阅读
本文综合了函数式语言的特点,形成了适合于描写数字电路的FP-1语言,研究了这种语言描写数字电路的特点,并给出了从功能行为级的FP-1描述转化为数字电路结构的实现算法,该系统已在MACRO-VAXII上用C语言编写通过,并能在该系统上对数字电路进行模拟验证。
函数式语言对数字电路的描述,综合及模拟
【摘 要】
：
本文综合了函数式语言的特点,形成了适合于描写数字电路的FP-1语言,研究了这种语言描写数字电路的特点,并给出了从功能行为级的FP-1描述转化为数字电路结构的实现算法,该系统
【机 构】
：
上海交通大学计算机系,上海交通大学计算机系
【出 处】
：
计算机学报
【发表日期】
：
1990年6期
【基金项目】
：
国家自然科学基金,,七五攻关项目资助
其他文献
本文通过COBOL软件测试环境COSTE的讨论,着重分析了用于系统的弱变异方法及关系测试数据生成的基本思想。文中提出了通过弱变异结果自动补足测试数据的方法,并在重新分类测试关系且引入关系反馈概念的基础上,提出了增大测试覆盖面的一种关系测试数据生成算法。
依赖其在各大洲建立起来的牢固品牌开象，让全世界了解意大利瓷砖精雕细琢，无与伦比的价值，让全世纪熟悉意大利瓷砖最具创新的应用和结构方面的优势，这就是意大利瓷砖工业希望通过
Ghosh和Bhattacharjee在[1]中提出的无回路有向图的深度第一支撑树的并行算法是错误的。本文解决了一般无回路有向图的深度第一支撑树的快速并行算法。其时间复杂度及处理器
随着我国市场经济体制的日益完善，全球经济一体化进程的加快，市场竞争越来越激烈．企业所面临的市场竞争环境也不断发生变化．这给企业带来更多的竞争机会和回报．同时也让企业面对更
1.FCAD系统的用户模型 家具结构计算机辅助设计系统是在IBM PC/AT上开发而成的,它具有实用、简单、成本较低等特点,其主要功能是: (1) 设计三种不同几何类型的家具零件:旋转
本文介绍了面向转换式程序设计的元语言TrapML。元语言TrapML是根据对面向转换式程序设计的元语言的设计原则、结构与功能等方面进行分析后提出的。该语言具有对象语言语法描