逻辑模拟

作品数：49被引量：31H指数：3
导出分析报告
相关领域：电子电信更多>>
相关作者：林守勋郭玉钗林宗楷李思昆沈嗣昌更多>>
相关机构：中国科学院国防科学技术大学清华大学武汉大学更多>>
相关期刊：更多>>
相关基金：国家高技术研究发展计划国家自然科学基金浙江省自然科学基金上海市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
逻辑模拟仿真软件利器——逻辑之星
《无线电》2015年第4期57-58,共2页朱广俊 
《逻辑之星》（英文名为LogicCircuit，见图1）是一款用于设计和仿真数字逻辑电路的教育类工具软件。它拥有图形化的界面，操作简单，可以帮助我们轻松实现各种数字逻辑电路的设计，还能对其设计进行模拟仿真和虚拟示波器的状态监控。
关键词：数字逻辑电路 模拟仿真软件 虚拟示波器 工具软件 状态监控 英文名 设计 图形化 
结合逻辑模拟和布尔可满足性的设计错误诊断方法
《现代电子技术》2010年第6期22-25,37,共5页曾松伟 李光辉 
浙江省自然科学基金资助项目(Y106707)
在集成电路设计验证与调试过程中,逻辑错误诊断工具通常会给出一定数量的候选错误区域,然后通过特定的算法尽可能多地减少候选区域,以方便错误的准确定位。在此提出一种结合模拟与布尔可满足性(SAT)的错误诊断方法,用于提高错误诊断准...
关键词：设计验证 错误诊断 布尔可满足性 逻辑模拟 
利用Pspice9.2对数字电路进行逻辑模拟
《科技信息》2009年第2期65-65,共1页高美蓉 
本文介绍了EDA技术软件OrRCAD/Pspice9.2的功能特点,并通过具体实例详细介绍了该软件在数字电路中如何实现逻辑模拟。
关键词：ORCAD/PSPICE 数字电路 逻辑模拟 
数字电路门级并行逻辑模拟被引量：2
《计算机工程与应用》2008年第13期63-66,共4页龙川 宁涛 
对基于事件驱动的电路门级并行逻辑模拟算法和相应的电路划分算法进行了研究。在保守协议的基础上,模拟算法采用流水线技术避免了死锁;采用事件打包,消息队列和非阻塞通讯技术减少了消息传递开销。在聚集分解的基础上,电路划分算法对组...
关键词：并行计算 门级逻辑模拟 事件驱动 消息队列 非循环电路划分 
逻辑模拟验证中波形离散化及冒险问题研究被引量：2
《计算机工程与设计》2008年第1期178-180,共3页刘岩 白燕 李静 
国家863高技术研究发展计划基金项目(2006AA01Z404)
依照布尔过程论中有关波形的描述,研究并设计了便于逻辑模拟响应数据采集的激励输入方法,按照波形离散化的要求,控制两次激励的间隔时间,解决了响应数据间的干扰问题;通过采用加入逻辑门的方法,推迟指定跳变的发生时间,从而避免了冒险现...
关键词：布尔过程论 逻辑模拟 波形离散化 竞争冒险 波形激励 
基于Verilog-XL的传输晶体管逻辑模拟被引量：1
《半导体技术》2002年第11期38-41,共4页裴志军 国澄明 姚素英 
随着集成电路集成度的持续增加,集成电路设计也越来越复杂,这使得设计验证愈来愈重要。模拟作为验证的重要手段在集成电路设计EDA系统中广泛采用,如Verilog-XL是Cadence EDA 系统工具箱中的优秀模拟器,可作为传输晶体管逻辑设计的有效...
关键词：Verilog-XL 集成电路 模拟 传输晶体管 硬件描述语言 
Verilog RTL模型被引量：5
《同济大学学报（自然科学版）》2002年第10期1194-1198,共5页沈理 
国家"8 6 3"高技术研究发展计划资助项目 ( 2 0 0 1AA11110 0 )
VLSI集成电路芯片测试技术正在向高层次测试推进 .针对Verilog硬件描述语言 ,提出了一种在寄存器传输级 (registertransferlevel,RTL)上的电路模型VRM .该模型着重于实际应用 ,可输出文本格式文件 ,便于开发实用的RTL级故障模拟和RTL级...
关键词：VerilogRTL模型 VERILOG硬件描述语言 寄存器传输级模型 逻辑模拟 高层次测试 集成电路芯片 芯片测试 
各种规模集成电路
《电子科技文摘》2002年第9期21-22,共2页
Y2002-63120-349 0217387立体视觉系统的新蜂窝神经网络集成电路=A newCNN IC for stereo visual system[会,英]/Salerno,M.&Sargeni,F.//The IEEE International Symposium onCircults and Systems Vol.3 of 5.—349～352(HE)Y2002-631...
关键词：异步接口 ULSI 立体视觉系统 神经网络 设计验证 STEREO 逻辑模拟 电子情报 集成平台 逻辑电路 
电子设计自动化技术和可编程逻辑器件
《交通部上海船舶运输科学研究所学报》2001年第2期114-116,共3页徐一凡 
介绍电子设计自动化技术及其半定制专用集成电路可编程逻辑器件的设计过程 ,还介绍数字电路逻辑模拟的工作过程并阐述可编程逻辑器件电路设计时各个步骤及特点。
关键词：电子设计自动化 可编程逻辑器件 逻辑模拟 仿真 
一个异步电路的硬件模拟器设计
《信息工程大学学报》2001年第3期4-7,共4页蒋烈辉 
本文详细讨论了一个异步电路的硬件模拟器的设计方法 ,对于复杂的异步电路的逻辑模拟 ,使用这种硬件模拟手段 。
关键词：异步电路 同步电路 逻辑模拟 硬件模拟器 数字电路 大规模集成电路 设计 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部