检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于布尔可满足性的电路设计错误诊断算法

计算机辅助设计与图形学学报 2006年第9期18卷 1383-1390页

作者：吴洋唐璞山复旦大学微电子系专用集成电路与系统国家重点实验室上海201203

提出了一种组合电路设计错误诊断算法,该算法结合传统基于模拟的方法和可满足性问题求解技术,在不依赖于故障模型的条件下实现对电路逻辑错误的诊断定位.提出了基于布尔可满足性的增量式电路诊断方法,通过对可满足解依据电路结构信息筛... 详细信息

提出了一种组合电路设计错误诊断算法,该算法结合传统基于模拟的方法和可满足性问题求解技术,在不依赖于故障模型的条件下实现对电路逻辑错误的诊断定位.提出了基于布尔可满足性的增量式电路诊断方法,通过对可满足解依据电路结构信息筛选分级,提高了多错误诊断定位的分辨率和准确性;并提出多项启发式方法,避免了大量不必要的操作,使算法在时间和内存上保持有效性.实验结果表明,利用形式验证的技术来导向模拟的过程,抓住了高复杂度的多错误定位问题的特征,提高了电路错误诊断的效率.

关键词：设计错误诊断布尔可满足性电子设计自动化

在线全文

学校读者我要写书评

暂无评论

改进的时间帧展开的时序电路等价验证算法

计算机辅助设计与图形学学报 2006年第1期18卷 53-61页

作者：丁敏唐璞山上海复旦大学微电子系专用集成电路国家重点实验室上海200433

提出一种改进的基于时间帧展开的时序电路等价验证算法,其来源于模型检查中的基于数学归纳的验证算法,在使用并简化了SAT问题中不可满足子集提取过程后,将基本条件检查和归纳检查合并处理.为了能在时间帧展开过程中减少状态搜索空间,利... 详细信息

提出一种改进的基于时间帧展开的时序电路等价验证算法,其来源于模型检查中的基于数学归纳的验证算法,在使用并简化了SAT问题中不可满足子集提取过程后,将基本条件检查和归纳检查合并处理.为了能在时间帧展开过程中减少状态搜索空间,利用结构不动点技术并提出了准动态唯一状态约束等改进的方法.实验表明,随着时间帧的不断展开,文中算法运行时间的增长速度明显慢于基于数学归纳法的验证算法,其适合验证经过时序优化后的电路.

关键词：时序电路等价验证形式验证可满足性问题

在线全文

学校读者我要写书评

暂无评论

通用的层次化FPGA划分算法

计算机辅助设计与图形学学报 2006年第5期18卷 661-666页

作者：陈苑锋唐璞山来金梅童家榕复旦大学专用集成电路与系统国家重点实验室上海201203

层次化FPGA(HFPGA)是目前工业主流的芯片架构.在前人关于HFPGA成果的基础上,提出了一种改进的划分算法.该算法将模拟退火算法与ratiocut思想结合,确定多层多划分的规模后,采用数据结构进行多分优化,在将可配置逻辑块(configurablelogicb... 详细信息

层次化FPGA(HFPGA)是目前工业主流的芯片架构.在前人关于HFPGA成果的基础上,提出了一种改进的划分算法.该算法将模拟退火算法与ratiocut思想结合,确定多层多划分的规模后,采用数据结构进行多分优化,在将可配置逻辑块(configurablelogicblock,CLB)划分到各个簇的时候考虑割线数的目标函数,实现了更好的划分结果,提高了FPGA芯片的利用率,优化了整个芯片的性能.

关键词：层次化FPGA 划分

Crosstalk Estimation and Optimization in Deep Sub-Micron VLSI

在线全文

学校读者我要写书评

暂无评论

Journal of Semiconductors 2002年第5期23卷 535-542页

作者：刘庆华唐璞山上海复旦大学微电子系专用集成电路国家重点实验室上海200433

RLC model is used to estimate the coupling noise between interconnect wires and make some analysis through the simulation result. Based on the analysis conclusion,some algorithms are developed to adjust the rou ting ... 详细信息

关键词： crosstalk coupling capacitance coupling inductance

在线全文

学校读者我要写书评

暂无评论

一个基于可满足性算法的时序深度计算方法

计算机工程 2006年第2期32卷 226-228,231页

作者：张忠林唐璞山复旦大学微电子系专用集成电路与系统国家重点实验室上海200433

有界模型校验(Bounded Model Checking)由于验证的不完备性而经常受到验证人员的指责。为了解决这个问题,计算时序深度的算法被提出。该文算法基于可满足性算法引擎,与其它基于可满足性算法引擎的算法不同,为了减少可满足性算法引擎的负... 详细信息

有界模型校验(Bounded Model Checking)由于验证的不完备性而经常受到验证人员的指责。为了解决这个问题,计算时序深度的算法被提出。该文算法基于可满足性算法引擎,与其它基于可满足性算法引擎的算法不同,为了减少可满足性算法引擎的负担,采用了状态空间显式存储的方法。ISCAS’89的实例很好证明了该算法的有效性。

关键词：形式验证时序深度可满足性问题

LowTARP:低温交替改善的模拟退火布局算法

在线全文

学校读者我要写书评

暂无评论

计算机辅助设计与图形学学报 2007年第6期19卷 692-697页

作者：杨铭来金梅唐璞山胡欣曾璇童家榕复旦大学专用集成电路与系统国家重点实验室上海201203

在模拟退火算法的基础上,提出一种“低温交替改善”的FPGA布局算法.在模拟退火的低温阶段,该算法不仅交换可配置逻辑单元(CLB)的位置,也改变逻辑单元(LE)所属的CLB,即同时对布局和装箱进行优化,并采用布局的目标函数来衡量装箱的优劣.... 详细信息

在模拟退火算法的基础上,提出一种“低温交替改善”的FPGA布局算法.在模拟退火的低温阶段,该算法不仅交换可配置逻辑单元(CLB)的位置,也改变逻辑单元(LE)所属的CLB,即同时对布局和装箱进行优化,并采用布局的目标函数来衡量装箱的优劣.实验数据表明,采用3种不同的装箱算法的结果作为布局的输入,布线通道宽度与最具代表性的VPR布局算法相比,分别提高21.3%,15.5%和10.7%,而引入的额外计算量不到20%.

关键词：布局装箱模拟退火

在线全文

学校读者我要写书评

暂无评论

数模混合电路仿真波形的自动比较

计算机辅助设计与图形学学报 2007年第8期19卷 980-985页

作者：张鹏宋宇陆伟成唐璞山童家榕复旦大学专用集成电路与系统国家重点实验室

针对快闪存储器设计中的数模混合信号的特征,提出一种波形自动比较的方法来解决数模混合电路流片前的自动验证.采用点到点比较实现数字信号的完整性检查和模拟信号波形的自动比较;采用时间偏移匹配比较实现指令的自动检测和偏移时间的... 详细信息

针对快闪存储器设计中的数模混合信号的特征,提出一种波形自动比较的方法来解决数模混合电路流片前的自动验证.采用点到点比较实现数字信号的完整性检查和模拟信号波形的自动比较;采用时间偏移匹配比较实现指令的自动检测和偏移时间的自动匹配,并对指令驱动的模拟信号进行自动比较;采用图像模式匹配比较对不同工艺条件、电源电压和温度条件下的仿真波形进行自动比较.该方法用程序实现并将其应用于英特尔技术开发(上海)有限公司快闪存储器上海事业部的设计流程中,减少了流片前验证的疏忽遗漏,提高了工作效率.

关键词：数模混合电路数模混合验证波形比较

在线全文

学校读者我要写书评

暂无评论

控规调整论证角色安排与对策探讨

规划师 2017年第2期33卷 117-123页

作者：衣霄翔唐璞山肖飞宇哈尔滨工业大学建筑学院黑龙江省寒地城乡人居环境科学重点实验室华蓝设计(集团)有限公司规划研究所同济大学建筑与城市规划学院

控规调整的论证工作对控规调整工作起到了至关重要的基础作用,针对当前论证机制的不完善以及由此引发的问题,应重新思考论证角色的安排和相应的对策。文章首先分析当前控规调整管理中论证角色安排的弊病,表现为论证者双重身份之间的冲突... 详细信息

控规调整的论证工作对控规调整工作起到了至关重要的基础作用,针对当前论证机制的不完善以及由此引发的问题,应重新思考论证角色的安排和相应的对策。文章首先分析当前控规调整管理中论证角色安排的弊病,表现为论证者双重身份之间的冲突,以及由此造成的存在矛盾的论证权责和作用;其次,基于论证主体和论证作用提出重新安排论证角色的三种假设,并论述了三种假设下论证机制的有效性与可行性,由此提出论证角色市场化的最优方案;再次,类比司法诉讼中各主体的关系,对市场化的论证角色的权责进行界定;最后,援引法学界围绕律师责任的探讨,认清市场化的论证角色存在的风险,并提出实现论证权责的制度机制途径,强调发挥管理者对论证进行严格要求和严格审查的核心作用。

关键词：控规调整论证律师责任司法诉讼权责

在线全文

学校读者我要写书评

暂无评论

城乡一体化背景下农村建筑整治研究

山西建筑 2017年第19期43卷 17-18页

作者：唐璞山华蓝设计(集团)有限公司广西南宁530011

结合具体项目,以农业文化的传承、农村风貌的延续为目的,从风貌总体定位、建筑元素提炼、建筑外观改造、生态技术与乡土材料应用、建筑布局等多个方面对农村建筑的整治进行了分析,为同类项目提供了实践经验。

关键词：城乡一体化农业文化新农村建设文化设施