数字系统

作品数：1037被引量：879H指数：10
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：张泽鹏魏榕山刘明业王珏温川飙更多>>
相关机构：电子科技大学东南大学浙江大学清华大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金河南省自然科学基金四川省重点技术创新项目山东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机辅助设计与图形学学报x
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
优化寄存器需求的资源约束调度算法被引量：1
《计算机辅助设计与图形学学报》2004年第9期1220-1224,共5页王磊 魏少军 
调度和寄存器优化是两个相互关联的问题 ,顺序完成这两个步骤的传统方法会导致非优化的结果 提出一种优化寄存器需求的资源约束调度算法RSROP ,能够有效地同时优化调度长度和寄存器需求 ,并通过标准高层次综合测试电路实验 。
关键词：寄存器优化 寄存器需求 资源约束调度算法 高层次综合 RSROP算法 数字系统 
《数字系统自动设计实用教程》问世
《计算机辅助设计与图形学学报》2004年第8期1158-1158,共1页
关键词：数字系统 离散系统(自动化) 工艺映射 教程 
数字系统单加权集下随机测试生成方法被引量：2
《计算机辅助设计与图形学学报》2002年第5期471-474,共4页谢永乐 陈光禑 
为在不引入额外的硬件开销下以较短的测试序列获得较高的故障覆盖率 ,提出一种基于细胞自动机 (CA )的数字集成电路加权随机测试方法 .该方法利用可测性测度建立反映故障侦查代价的可测性代价函数 ,对此函数的寻优得到被测电路主输入处...
关键词：故障诊断 细胞自动机 线性反馈移位寄存器 数字集成电路 数字系统 单加权集 随机测试生成方法 
控制流综合中省略状态化简的可行性被引量：1
《计算机辅助设计与图形学学报》2001年第8期679-683,共5页谢巍 刘明业 
国家自然科学基金项目 (69973 0 0 )资助
为解决控制流综合用时过多而造成的电路设计周期较长的问题 ,从分析控制流综合的基本步骤和现存问题入手 ,着眼于控制流综合所接收的有限状态机的特殊性 ,讨论了省略状态化简的可行性 ;并且给出了在 EDA综合工具中省略状态化简的具体实...
关键词：控制流综合 有限状态机 状态化简 状态分配 数字系统 
基于SBDD图的布尔匹配
《计算机辅助设计与图形学学报》2001年第7期582-585,共4页张镭 吕宗伟 林争辉 
美国国家科学基金(5 978East Asia and Pacific Program -96 0 2 485 )资助
在逻辑验证和综合中 ,布尔匹配利用有序二叉判定图 OBDD来检验两个给定的逻辑函数是否相等 .为了提高匹配算法的效率 ,文中用最小项数作为标签标定变量 (变量组 ) .对比两函数中变量 (变量组 )的“标签”,可以删除不可能的排序 ,从而加...
关键词：OBDD SBDD图 布尔匹配 数字系统 有序二叉判定图 
一种新的高级综合的设计表示模型
《计算机辅助设计与图形学学报》1997年第6期568-572,共5页袁小龙 沈绪榜 
高级综合技术的研究在当前倍受关注。高级综合的第一步是将以算法形式给出的数字系统的行为描述转化为综合设计的内部表示，而后其它子任务在此基础之上进行。本文提出了一种新的基于Ｐｅｔｒｉ网的高级综合的设计表示模型，它不但能表...
关键词：高级综合 设计表示模型 数字系统 
数字系统的高层次综合被引量：2
《计算机辅助设计与图形学学报》1993年第2期81-87,共7页苏明 薛宏熙 洪先龙 
数字系统高层次综合是指从抽象的行为特性描述到寄存器传输级结构描述的转换。它是一种实用的、有效的数字系统设计方法。本文介绍数字系统的表示,并概括叙述高层次综合的主要任务、高层次综合技术的发展和现状以及存在的一些问题。
关键词：数字系统 硬件描述语言 高层次综合 
PLAUD-Ⅱ:一个全自动MOS PLA的设计系统
《计算机辅助设计与图形学学报》1991年第2期18-26,共9页严晓浪 朱彭遐 胡建萍 董云耀 董晨皓 
可编程逻辑阵列(PLA)的自动设计是80年代以来迅速发展起来的,用以优化设计大规模数字系统的设计技术。PLAUD-Ⅱ是我国第二级IC-CAD系统的PLA自动设计子系统,它在国内首次实现了MOSPLA从逻辑输入到版图生成的自动设计。该系统的研制完成...
关键词：数字系统 逻辑输入 可编程逻辑阵列 逻辑部件 测试生成 MOS PLA PLAUD 方体 单元库 固定型故障 
TD匹配自动逻辑综合算法
《计算机辅助设计与图形学学报》1989年第1期9-13,20,共6页江卫国 贾焰 周堤基 吴泉源 
逻辑综合是数字系统设计中的重要组成部分。随着LSI、MSI的日益广泛使用,综合的目的将不再是布尔函数的二级最小化。本文提出的自上而下(TD)匹配算法,根据给定组件库中的LSI、MSI,自动综合单输出布尔函数。并且在满足时间要求的同时,对...
关键词：TD匹配 逻辑综合 算法 数字系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部