国家自然科学基金(60871022)
- 作品数：4 被引量：8H指数：2
- 相关作者：夏银水王伦耀胡美群储著飞李智慧更多>>
- 相关机构：宁波大学更多>>
- 发文基金：国家自然科学基金浙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于分支限界的关键路径求解算法被引量：4
- 2011年
- 提出一种基于分支限界的关键路径求解算法,将电路拓扑结构表示成有向带权网(WOEN),寻找汇点,使节点到汇点的最大路径时延为该节点分支限界的最小限值,剪去违反分支限界最小限值的局部非关键路径的连接边以化简WOEN.新算法采取节点最大时延链表的存储结构,使得WOEN的存储空间、关键路径计算空间以及计算结果的存储空间共享同一存储空间.算法用C语言实现,并在ISCAS标准电路上加以测试.结果表明:新算法比现有算法所需的存储空间更小,求解关键路径的速度更快.
- 胡美群夏银水王伦耀
- 关键词：分支限界时延集成电路
- 一种基于pci_t32的PCI传输卡的设计(英文)
- 2013年
- 介绍一种可适用于现代数字语音实验室的PCI传输卡的设计.该传输卡集成了Altera公司FPGA芯片,具有小型化、低成本、现场可编程和高速传输的特点.详细介绍FPGA内部逻辑,重点分析基于pci_t32 IP核的PCI接口的设计,并给出数据测试结果.该卡能实现80路终端与教师的数据通信,波特率达到270.950 4 Mbps.
- 叶锡恩朱银凤
- 关键词：FPGA
- 纳米CMOS电路逻辑等效变换被引量：3
- 2011年
- 针对纳米CMOS电路连通域结构约束,该文提出了基于逻辑复制方法的电路等效变换技术以降低电路映射复杂性。首先通过对电路中所有的门扇出值进行排序来选定基准高扇出值;然后对于高扇出门单元通过二次方程式计算变换前后复杂度,对复杂度降低的高扇出门单元执行逻辑复制并进行扇出分割。与传统插入反相器方法网表转换法比较,结果表明使用该文提出的方法电路不仅更快速地被映射到纳米混合电路单元上,而且具有更好的时延特性。
- 夏银水储著飞王伦耀Hung William N NSong Xiao-yu
- 关键词：映射等效变换
- 基于混合技术的时序电路等价性验证被引量：1
- 2010年
- 时序电路的等价性验证比组合电路更复杂,尤其是状态变量多的电路;一种有效方法是通过寄存器匹配,将部分时序电路验证转化为组合电路验证问题,降低验证的复杂度.因此,提出了一种结合多种方法的时序电路等价性验证算法,该算法结合随机仿真、局部BDD、寄存器匹配以及状态遍历.算法中的随机仿真和寄存器匹配技术能对寄存器作快速匹配,局部BDD技术减少了内存爆炸的可能,状态遍历可对电路进行最后的输出验证.实验结果表明:此算法能更快对电路进行验证.
- 李智慧夏银水
- 关键词：等价性检验BDD
