云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(90207002)

国家自然科学基金(90207002): 作品数：78被引量：258H指数：7; 导出分析报告; 相关作者：李晓维严晓浪葛海通徐勇军杨军更多>>; 相关机构：中国科学院浙江大学复旦大学清华大学更多>>; 相关期刊：《半导体技术》《Wuhan University Journal of Natural Sciences》《电子学报》《浙江大学学报（理学版）》更多>>; 相关主题：等价性验证等价性组合电路集成电路布尔可满足性更多>>; 相关领域：电子电信自动化与计算机技术军事更多>>

一种基于混合SAT求解器的RTL验证方法: 《浙江大学学报（工学版）》2010年第2期289-293,共5页葛海通翁延玲严晓浪; 国家自然科学基金资助项目(90207002); 为了提高集成电路验证系统的性能,提出一种面向Verilog描述的寄存器传输级(RTL)电路验证方法.该方法将验证问题转化为RTL可满足性问题,并采用基于混合布尔可满足性问题(SAT)的求解器.与传统方法相比,其综合引擎取消了算术电路逻辑的实现...; 关键词：集成电路设计逻辑综合等价性验证混合SAT求解器

双电压动态可重构FPGA任务模型及调度算法被引量：1: 《浙江大学学报（工学版）》2010年第2期300-304,共5页徐科君许文曜沈继忠徐新民; 国家自然科学基金资助项目(90207002); 通过对单电压动态可重构可编程逻辑门阵列(FPGA)实时任务模型的学习研究,建立基于双电压动态可重构FPGA的非可抢占任务模型.该模型很好地描述了双电压动态可重构FPGA任务的特征,在单电压任务模型的基础上增加了双电压任务模型特有的属性...; 关键词：双电压可编程逻辑门阵列部分动态可重构硬件任务调度降序首次自适应算法

基于马尔可夫-蒙特卡洛采样的电源网络分析被引量：2: 《微电子学与计算机》2008年第12期1-4,共4页田志新刘勇攀杨华中汪蕙; 国家自然科学基金项目(90207002); 电源网络分析是深亚微米集成电路设计的关键因素之一.针对高性能芯片采用IBM C4封装和网状结构片上网络的特点,首先通过随机游走模型推导出电源网络的三个性质,接着基于这些性质给出了深亚微米电源网络的分析框架,最后提出了基于马尔可...; 关键词：电源网络分析随机游走马尔可夫-蒙特卡洛采样

高精度低功耗多位量化∑-Δ调制器的设计被引量：1: 《机电工程》2008年第12期27-30,共4页欧伟吴晓波; 国家自然科学基金资助项目(90207002);浙江省自然科学基金资助项目(Z104441); 为了解决目前音频应用模数转换器(ADC)功耗过大的问题,提出了模数转换器低功耗设计的目标。在系统设计方面,合理选择过采样率、调制器阶数、量化位数,保证了在满足性能要求的情况下优化信号最大输入幅度和功耗;在考虑各种非理想因素的...; 关键词：∑-△调制器多位量化 DWA 低功耗音频模数转换器

结合半加图的算术电路等价性验证技术: 《浙江大学学报（工学版）》2008年第8期1345-1349,1403,共6页翁延玲葛海通严晓浪郑飞君; 国家自然科学基金资助项目(90207002); 为了克服现有等价性验证技术难以快速验证复杂算术电路的局限性,提出了一种利用综合引擎分析并再现算术电路优化过程的算法.该算法结合了乘法器的编码方式识别技术、加法电路的半加树提取技术和部分积加法电路的架构识别技术来提取乘法...; 关键词：综合等价性验证算术电路半加树

利用状态缓存的时序等价性验证算法被引量：1: 《计算机辅助设计与图形学学报》2008年第2期149-154,共6页杨军翁延龄葛海通严晓浪; 国家自然科学基金(90207002); 为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法.除了利用原像计算避免误判之外,该算法还将可达状态和不可达状态引入到验证过程中.将仿真过程中从初始状态可以到达的状态记录为可达状态,将验证过程中确认...; 关键词：时序等价性验证寄存器匹配原像计算可达状态不可达状态

无线传感器网络时间同步新技术被引量：31: 《计算机研究与发展》2008年第1期138-145,共8页徐朝农徐勇军李晓维; 国家自然科学基金项目(90207002);国家“八六三”高技术研究发展计划基金项目(2006AA01Z223,2006AA01Z225);国家“九七三”重点基础研究发展规划基金项目(2005CB321604)~~; 时间同步是无线传感器网络的基本中间件之一.最近,许多基于时间信息交换的时间同步协议已被提出.然而,在大规模无线传感器网络中,同步误差随跳距的累积问题和可扩展性需求是传统的时间同步技术面临的主要挑战.为了应对这两个挑战,无线...; 关键词：无线传感器网络时间同步萤火虫同步协作同步同步性

Solving SAT problem by heuristic polarity decision-making algorithm被引量：3: 《Science in China(Series F)》2007年第6期915-925,共11页JING MingE ZHOU Dian TANG PuShan ZHOU XiaoFang ZHANG Hua; the National Natural Science Foundation of China (Grant Nos. 90207002, 90307017, 60773125 and 60676018);National Science Foundation (Grant Nos. CCR-0306298);China Postdoctoral Science Foundation (Grant No. KLH1202005);the Natural Science Foundation of Shanghai City (Grant No. 06ZR14016); This paper presents a heuristic polarity decision-making algorithm for solving Boolean satisfiability （SAT）. The algorithm inherits many features of the current state-of-the-art SAT solvers, such as fast BCP, clause...; 关键词：SAT problem DPLL complete algorithm DECISION-MAKING

一种改进的有界模型检验子句规则被引量：1: 《微电子学与计算机》2007年第11期103-106,109,共5页尹文波荆明娥周电周晓方; 国家自然科学基金项目(90207002);国家"863"高技术研究发展计划(2003AA1Z1120;2004AA1Z1050); 为有界模型检验提出了改进的子句规则。在节点分类的基础上,首先对精简布尔电路表示进行逻辑化简,去掉功能冗余节点;然后识别、记录和处理多元运算的操作数,把多元运算作为单个节点直接生成子句;最后合并相邻节点,根据合并后的逻辑关系...; 关键词：可满足性问题有界模型检验子句规则精简布尔电路

采用虚拟时钟的多时钟域电路模型检测: 《微电子学》2007年第5期640-643,共4页岳华伟易波; 国家自然科学基金资助项目(90207002); 随着系统规模的扩大和复杂性的增加,设计验证已成为集成电路设计中最大的挑战。符号模型检测(Formal model check)的验证方法由于可以解决验证的完备性问题,正受到越来越多的重视。在多时钟域设计已成为大规模集成电路设计热门领域的今...; 关键词：设计验证形式验证符号模型检测虚拟时钟多时钟域电路

国家自然科学基金(90207002)