您的位置： 专家智库 > >

唐璞山

作品数：130 被引量：172H指数：6
供职机构：复旦大学信息科学与工程学院专用集成电路与系统国家重点实验室更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
相关领域：电子电信自动化与计算机技术理学自然科学总论更多>>

合作作者

文献类型

  • 111篇期刊文章
  • 11篇会议论文
  • 7篇专利
  • 1篇科技成果

领域

  • 84篇电子电信
  • 36篇自动化与计算...
  • 2篇理学
  • 1篇自然科学总论

主题

  • 69篇电路
  • 43篇集成电路
  • 19篇VLSI
  • 13篇CAD
  • 9篇计算机
  • 9篇版图
  • 9篇FPGA
  • 9篇布线
  • 8篇电路设计
  • 7篇计算机辅助设...
  • 7篇辅助设计
  • 6篇数模
  • 6篇数模混合
  • 6篇SAT问题
  • 6篇CMOS
  • 5篇阵列
  • 5篇时延
  • 5篇门阵列
  • 5篇可满足性
  • 5篇IC

机构

  • 130篇复旦大学
  • 3篇美国德州大学
  • 1篇苏州大学
  • 1篇浙江工业大学
  • 1篇代尔夫特理工...

作者

  • 130篇唐璞山
  • 40篇童家榕
  • 15篇章开和
  • 13篇赵文庆
  • 9篇周电
  • 9篇曾璇
  • 6篇陆伟成
  • 5篇徐国庆
  • 5篇张万鹏
  • 5篇缪国清
  • 5篇邵建华
  • 5篇来金梅
  • 5篇荆明娥
  • 5篇张鹏
  • 4篇王伶俐
  • 4篇方佳佶
  • 4篇文化
  • 4篇丁敏
  • 4篇陈春鸿
  • 4篇张悦秋

传媒

  • 29篇计算机辅助设...
  • 19篇微电子学
  • 14篇Journa...
  • 14篇电子学报
  • 11篇微电子学与计...
  • 9篇复旦学报（自...
  • 4篇计算机应用与...
  • 4篇1989年全...
  • 4篇全国第六届I...
  • 3篇计算机学报
  • 2篇中国科学（E...
  • 2篇电路与系统学...
  • 1篇电子与信息学...
  • 1篇计算机工程
  • 1篇软件学报
  • 1篇计算机工程与...
  • 1篇2007全国...
  • 1篇中国电子学会...
  • 1篇2007年全...

年份

  • 1篇2010
  • 3篇2009
  • 6篇2008
  • 12篇2007
  • 11篇2006
  • 4篇2005
  • 6篇2004
  • 5篇2002
  • 6篇2001
  • 9篇2000
  • 9篇1999
  • 5篇1998
  • 12篇1997
  • 7篇1996
  • 7篇1995
  • 2篇1994
  • 2篇1993
  • 3篇1992
  • 9篇1991
  • 2篇1990
共 130 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
结合高级正向推理过程的可满足性问题解决器被引量：4
2005年
提出了一个可满足性问题解决器,它结合了DPLL(Davis Putnam Loge-mann and Loveland)算法和作为高级推理技术之一的失败性文字检查(FLD,FailedLiteral Detection)技术.在失败性文字检查技术中,又提出了动态筛选方法,它包含了两条规则:内部和外部筛选.在保证能在每个决策层上发现大部分失败性文字的同时,降低了失败性文字检查所测试的文字数目及相应的计算时间.不同于其他类型的预定义的删除标准,在这一方法中文字的删除是动态的,从这点上讲,文中的失败性文字检查算法可以适应不同类型的测试基准实例.许多不必要的测试可以被避免,因而提高了失败性文字检查的计算速度.为了进一步提高失败性文字检查的效率,故此还增加了其他静态的测试约束.实验表明,经过优化后的失败性文字检查算法的效率明显高于其他的高级正向推理技术.
丁敏唐璞山周电
关键词：可满足性决策层中文字删除
集成电路芯片图像的矢量化
1997年
集成电路的版图数据可从集成电路的芯片图像中获取。手工提取版图数据既费时又费力，采用图像处理技术提取集成电路版图数据则可大大提高效率。介绍了一种集成电路芯片图像矢量化技术，它包括图像边缘提取、曲线拟合、图形规则化等几部分。文章主要以集成电路芯片上的金属图形为例。
王明江唐璞山
关键词：集成电路ICCAD矢量化
数字逻辑功能提取器被引量：1
1997年
介绍一种数字逻辑功能提取工具ＤＬＦＥ（ＤｉｇｉｔａｌＬｏｇｉｃＦｕｎｃｔｉｏｎＥｘｔｒａｃｔｏｒ）。该工具能帮助用户从平面化的底层逻辑网表中提取出一套功能明确、易于理解和验证的层次化电路图；在提取的过程中也实现了对电路的功能分析。它采用人机结合的方法，由用户识别功能块（完成一定功能的子电路），由软件实时生成网表中用户选择的那部分电路的电路图，帮助用户识别功能块；并在网表中搜寻与用户识别出的功能块同构的实例，通过归并，把电路提高到更高的层次。整个过程是自下而上，不断迭代的，最后将得到层次化的电路图。实验表明，该工具对电路处理后得到的电路图具有功能性明确、划分适当。
潘日华童家榕唐璞山
关键词：ICCAD数字逻辑
重叠端口通道的四、五层布线算法
1999年
本文提出了一个重叠端口通道的四、五层布线算法.算法的目标是占用尽可能少的通道布线行数,为此算法中采用了扩展布线的概念,将部分线网分配到器件区域中进行布线.在通道内部布线时,引入了重叠端口通道的垂直约束矩阵的概念,并用它来指导启发式算法的线网布线顺序.算法在任何情况下都能保证布线的成功,从运行实例上来看,算法速度很快,而且结果都是近似最优的(或者是最优,或者是比最优解多一个布线行).
文化赵文庆唐璞山
关键词：通道布线IC布线算法
行为级DSP算法描述的阵列处理器综合方法研究
1993年
本文提出了针对递归DSP算法的高层次系统综合流程,并以脉动(systolic)式处理器阵列结构实现.从DSP算法的FDDL行为级描述开始,经由编译及划分,产生数据相关流图(Data Dependency Graph),然后实现对算法流图的空间映射及时域规划,得到算法的信号流图(Signal Flow Graph),经时序重构,生成脉动阵列,最后实现对处理器单元的数据路径综合及控制器综合,并对处理器单元定位,本文同时提出了各设计阶段的算法策略及优化策略,并给出综合结果。
许超张增雁赵文庆唐璞山
关键词：脉动阵列数字信号处理集成电路
重叠端口通道dogleg的优化算法
1998年
针对重叠端口通道的多层布线模型，提出了一个优化通道内ｄｏｇｌｅｇ数目的算法。该算法避免了一般优化算法中难以确定合理的优化顺序的不足，用它来对重叠端口通道布线结果进行优化，能快速减少ｄｏｇｌｅｇ数目，提高电路的电学性能。最后分析了算法的时间复杂性。
文化赵文庆唐璞山
关键词：集成电路计算机辅助设计
集成电路的连线时延及其在版图设计中的估算被引量：3
1997年
连线时延是新一代集成电路设计的重要课题之一．本文提出一种新的连线时延近似估算法．这种方法基于线网的RC树结构，采用Elmore时延原理，给出了线网在米布线情况下时延的下界估计．它计算简单，精确度好，对时延驱动的版图优化设计具有重要的理论意义和实用价值．
陈春鸿唐璞山
关键词：集成电路版图设计
一种新颖的基于层划分的等价验证方法
2004年
　提出了一种基于SAT问题的组合电路等价验证算法,该算法特别适用于验证有着一定相似部分的两个电路。其主要创新之处为:1)基于层划分的配对点生成方法;2)基于阈值控制的回溯过程。ISCAS'85的实例很好地证明了该算法的有效性。
李亮唐璞山张忠林
关键词：组合电路
基于知识的设计流程控制
1996年
由于电子CAD系统的复杂性不断增加,大量高度专业化的VLSI设计工具使设计的工具选择和启动过程变得十分繁琐和复杂。为了克服上述困难,本文提出一个基于知识推理的方法来解决这一问题。我们采用一种有向图和基于设计上下文的产生式规则来共同构造设计流程的模型。我们的一个主要出发思想是超大规模集成电路(VLSI)的设计知识体系是层次化的,有效的VLSI设计流程管理只有在各知识层次都得以合理描述和有效运用后才能实现。 基于上述思想,我们开发了一个CAD设计的支持框架系统:Anbade。它集一个精简的专家系统和一个有向图编辑器和设计流程显示机制于一体,通过对设计者图形化流程信息显示和基于知识推理的流程的调度决策来有效地实现对VLSI设计的辅助。
谭向东童家榕唐璞山
关键词：集成电路流程图VLSICAD
一种新的SAT问题预处理算法被引量：2
2007年
提出了一项新的正向推理技术:对称扩展的一元子句推导(Symmetric Extended Unit Propagation)。与传统的一元子句推导技术相比,文中的方法通过在一元子句推导过程中添加对称的蕴涵关系从而能够推导出更多的一元子句。基于这项新技术实现了一个可满足性问题(SAT)预处理器Snowball。实验结果验证了该项技术的有效性,表明该预处理器Snowball能够有效地化简SAT问题的规模并减少解决SAT问题的时间。
熊伟唐璞山
全选 清除 导出
共13页<12345678910>
聚类工具0