PROLOG语言在逻辑模拟中的应用

来源 :第二届全国逻辑设计自动化学术会 | 被引量 : 0次 | 上传用户:dfhg54h446jn6gfn
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文阐述了PROLOG语言在逻辑模拟中的应用,通过一些实例说明PROLOG语言用于对门级和功能块级电路的描述及模拟的便利之处,进而指出基于PROLOG语言的电路描述可用于逻辑电路的模拟,诊断和测试生成等多方面,文章中的实例均在PC计算机上通过。(本刊录)
其他文献
目的:验证心率变异阈(heart rate variability,HRVT)推测超重/肥胖青年女性通气阈的有效性,为HRVT在运动科学和临床康复领域应用提供方法学依据.方法:16名无规律性体育锻炼的
目的:探讨高强度间歇运动(high-intensity interval training,HIIT)对中年小鼠心肌自噬/线粒体自噬相关蛋白表达和线粒体呼吸功能的影响.方法:12月龄健康雄性ICR小鼠20只,随
该文提出了自动综合中的反向设计思想和将它应用于从中小规模电路板到单片ASIC的自动转换及优化的方案以及这个方案的实现。其中,基于结构级的VHDL编译器把结构级VHDL转换为内部处理形式,为
每个行业在社会的存在价值都是为社会、为客户提供服务。我认为,服务就是保险公司的核心竞争力。而我们所说的服务与平常所说的公司前端产品策略、营销策略等等都是不可割裂
该文提出了一组面向信息管理用户的分布式处理语言(IMDL)。信息管理的用户通过这组语言以作业方式布置给软件系统,就可得到他所需的报表。如果该系统是一个分布式多机处理系统,那
会议
水是维持基本生命活动所必需的一种重要营养素,约占健康成年人体重的60%~70%[1].人体内所有生命现象及物质代谢过程都有水的参与,如消化作用、血液循环、物质交换、组织合成、体
期刊