唐玉兰
- 作品数：12 被引量：27H指数：4
- 供职机构：江南大学信息工程学院更多>>
- 发文基金：江苏省自然科学基金国防科技重点实验室基金更多>>
- 相关领域：电子电信理学一般工业技术电气工程更多>>
- H-GRASP:一种基于GRASP改进的混合SAT解法器
- 2010年
- 为了改善GRASP的局限性,提出了一种能解决含有伪布尔(PB)和合取范式(CNF)混合约束问题的新的混合算法(H-GRASP)。该新算法采用了切削平面技术来提取PB约束条件之间的推论,并把它结合到普通的蕴涵图中,分析引起冲突的学习。与解决混合约束问题的其他两种方法——整数线性规划和纯基于SAT方法进行了彻底的比较。实验结果证明,H-GRASP方法从整体上大大减少了运行时间,加快了速度,同时还保证了加入这种方法的低耗费。
- 唐玉兰张惠国于宗光陈建慧
- 关键词：布尔可满足性整数线性规划
- 16位高速DSP增强型同步串行口的设计被引量：2
- 2006年
- 分析了一种16位高速DSP中增强型同步串口的帧格式及其接口和功能;详细讨论了同步串口的系统级和行为级的设计过程。利用Verilog,设计出同步串口的电路;并通过计算机仿真和实验,证明了设计的正确性。
- 陶伟唐玉兰于宗光
- 关键词：数字信号处理器同步串口帧同步VERILOG行为级
- 一种新的用于布线的打破对称自适应流程
- 2009年
- 介绍一种自适应流程,结合静态打破对称技术和动态打破对称技术,分析一个给定的布尔优化问题,并挑选最适于问题特点的打破对称技术。实验结果证明,当将这种技术用于布线时,它比纯粹的静态打破对称或动态打破对称在很多情况下可加快解决问题。
- 唐玉兰张惠国于宗光
- 关键词：布尔函数整数线性规划布线算法
- 一种实现数模混合电路中的DAC测试的BIST结构被引量：7
- 2006年
- 由于超大规模集成电路技术的快速进步,测试数模混合电路变得越来越困难。针对DAC的测试问题,采用了一种内建自测试(BIST)的测试结构,用模拟加法器把电压测量转换成时间测量的方法,分析并给出了如何利用该结构计算DAC的静态参数。利用该方法,既可以快速得到DAC的静态参数,又提高了测试精度,使得测试电路简单、紧凑和有效。
- 唐玉兰陶伟于宗光
- 关键词：内建自测试数模混合电路
- 一种改进的基于扫描的电路设计被引量：1
- 2006年
- 由于科学技术的快速提高,单一芯片中所包含的晶体管的数目越来越多,相对造成了芯片可测试度的降低,以及测试成本的增加。传统的基于扫描的测试方法中,常会有测试时间太长的缺点。本文采用了向量压缩,并用Test-Per-Clock的方式来处理待测电路,减少了测试时间,不影响故障覆盖率。
- 唐玉兰于宗光李天阳黄越
- 关键词：内建自测试线性反馈移位寄存器
- 高速实时控制SoC的设计与研究被引量：5
- 2006年
- 文章阐述了高级的实时处理器结构,并且讨论了嵌入式实时控制SoC的设计方法,该设计方法支持高速实时控制,在单芯片上集成了全部的数字器件,将外围逻辑减少到最低限度。模拟控制系统的软件库能自动进行系统设计,将控制命令转换成处理器能执行的指令集。
- 陶伟黄越唐玉兰于宗光
- 关键词：SOC实时控制嵌入式软硬件协同设计
- 一种增加了对称破缺的改进子集可满足性算法
- 2010年
- 为了消除子集可满足性算法在布线过程中带来运行时间增加的负面影响,提出了一种新的布线流程.针对子集可满足性算法在求解同时增加额外的变量和字句,而使得对称数量按指数级增长的问题,选用增加静态对称破缺的方法对合取范式(CNF)进行预处理,侦测并破缺其中的对称,从而达到减少搜索路径的目的.用简化图自同构的方法侦测所有对称,在增加合适的对称破缺判定(SBPs)后,限制搜索在空间的非对称领域进行,从而减少了搜索空间,而不影响CNF公式的可满足性.然后把预处理过的CNF送入布尔可满足性(SAT)解法器进行求解.试验结果表明,这种方法可以显著减少运行时间,加速求解过程.
- 唐玉兰张惠国于宗光
- 关键词：布尔函数现场可编程门阵列布线算法
- 软开关技术及其在DC-DC变换器中的应用
- 本文简要介绍了DC-DC变换器的基本类型及工作原理，阐述了软开关控制技术在开关电源变换器中的应用。重点分析了软开关技术的原理、分类和实现策略，介绍了零电压，零电流转移(ZVT/ZCT)脉宽调制技术，指出软开关技术是克服高...
- 唐玉兰万书芹于宗光
- 关键词：DC-DC变换器脉宽调制零电压零电流转换电磁干扰
- 文献传递
- FPGA高性能查找表的设计与实现被引量：8
- 2009年
- 从电路角度探讨了查找表(LUT)实现原理,基于双相不交叠时钟,设计实现了一种LUT,能高效地完成移位寄存器与RAM的功能扩展。基于SMIC0.25μmCMOS工艺优化设计了对应的版图,给出了相应的HSPICE仿真结果。此电路结构增强了逻辑块的性能,提高了FPGA的整体效率与灵活性,已被应用于FPGA的设计中。
- 张惠国唐玉兰于宗光陶宇峰
- 关键词：现场可编程门阵列查找表移位寄存器随机存储器
- 一种改进的子集可满足性算法用于FPGA布线
- 2009年
- 介绍了用布尔可满足性(SAT)和子集可满足性(sub-SAT)算法解决FPGA的详细布线问题。在布线资源固定的FPGA布线环境中,布尔公式可以证明所给电路的不可布通性,这一点要优于典型的one-net-at-a-time方法。子集可满足性方法把一个有N个约束的"严格的"SAT问题转换成一个新的"松弛的"SAT问题,仅当在原始问题中变量的不可满足个数不超过阈值k(kN)时,这一问题是可满足的。它改进了布尔可满足性,但是却产生了很多额外的变量和子句。针对这一问题,提出了用伪布尔可满足性(PBS)来消除子集可满足性公式带来的缺点。初步的实验结果表明,把这个方法加入子集可满足性方法中可以减少变量和子句数量,并显著减少运行时间。
- 唐玉兰张惠国于宗光
- 关键词：布尔可满足性
