![自主车辆导航安全验证方法]()
论文摘要自主车辆是集环境感知、规划决策、多等级辅助驾驶等功能于一体的综合智能系统。它集中运用了计算机、现代传感、信息融合、通信、人工智能以及自动控制等技术,是典型的高科技综合体...
![YHFT-DX半定制/全定制混合设计流程中功能与时序验证]()
论文摘要随着集成电路的规模和复杂度不断增大,验证的作用越来越重要。要在较短的时间内保证芯片最终能正常工作,需要将各种验证方法相结合,全面充分地验证整个系统。YHFT-DX是一款...
![基于多项式符号代数的数字电路形式验证方法研究]()
论文摘要随着数字集成电路设计规模的增大和功能复杂性的提高,功能验证已经成为设计流程中的瓶颈。传统的模拟验证方法无法满足现时复杂集成电路设计带来的巨大的验证需求。形式验证技术,例...
![可信的自治式服务协同系统验证]()
论文摘要XML标准和面向服务的计算模式（Service-OrientedComputing,SOC）大大降低了跨域协同（CrossOrganizationalCooperati...
![Web应用的验证与测试方法研究]()
论文摘要Internet的普及以及分布式计算、基于构件的开发和WebServices等技术的迅速发展和应用使Web应用渗透到国计民生的各个领域。Web应用的质量将直接影响人们的...
![数字电路后端的形式验证方法研究及应用]()
论文摘要随着集成电路设计领域的发展,芯片集成度越来越高,功能越来越强大,验证的地位也越来越高。其中形式验证中的等价性检查贯穿于整个后端设计流程之中。有代码与综合后网表之间的验证...
![高性能数字SoC芯片的验证设计与实现]()
论文摘要随着工艺水平的缩小和设计规模的增大,集成电路设计中的验证工作难度也在不断增加。如何能保证设计的正确性和一致性,如何才能为用户提供最方便的验证手段,这是验证工程师所面临的...
![基于吴方法的高层次模型检验方法研究]()
论文摘要随着数字IC设计规模的增大和功能复杂性的提高,设计验证成为IC设计流程中越来越重要的方面。传统的模拟验证方法无法满足复杂IC设计带来的巨大的验证需求。基于此,形式验证方...
![基于有限环上多项式的数字电路形式验证方法]()
论文摘要随着集成电路的规模变得越来越大、功能越来越复杂，功能验证已经成为设计流程的主要瓶颈。据统计，设计验证的时间已占到整个设计周期的一半以上。传统的基于模拟的验证方法不但需要...
![RTL到门级设计的等价性验证的研究]()
论文摘要超大规模集成电路的验证工作在产品设计周期中所占的比例已达到三分之二。等价性验证作为现代SoC设计流程的一个重要步骤,用于验证不同抽象层设计之间的功能等效性。包含算术电路...
![基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究]()
论文摘要近些年在布尔可满足性(SAT)领域取得了较大进展,一系列基于DPLL框架的优化算法被提出,有效SAT解算器诸如zChaff等已可解决很大规模的SAT问题。SAT作为一个...
![基于线性规划的RTL性质验证研究]()
论文摘要集成电路的验证,已经成为其研发的最大障碍。传统的模拟验证技术无法满足当前SOC（System-On-Chip）设计带来的空前巨大的验证需求。基于此,形式化的验证方法作为...
![数字系统设计自动化中控制器综合的验证研究]()
论文摘要EDA技术日新月异,自顶向下硬件设计方法的应用日益广泛,不断显示出它的强大优越性。支持自顶向下设计方法的基本技术是自动综合,综合是EDA的关键技术之一。为了保证综合结果...
![基于接口自动机的组合验证方法研究]()
论文题目:基于接口自动机的组合验证方法研究论文类型:博士论文论文专业:计算机科学与技术作者:文艳军导师:齐治昌关键词:形式验证,组合验证,模型检验,精化检验,接口自动机,体系结...
![可满足性问题算法研究以及在时序电路等价验证中的应用]()
论文题目:可满足性问题算法研究以及在时序电路等价验证中的应用论文类型:博士论文论文专业:微电子与固体电子学作者:丁敏导师:唐璞山关键词:可满足性问题,时序电路等价验证,形式验证...
![逻辑电路的等价性检验方法研究]()
论文题目:逻辑电路的等价性检验方法研究论文类型:博士论文论文专业:计算机系统结构作者:李光辉导师:李晓维关键词:集成电路,形式验证,等价性检验,错误诊断,布尔推理文献来源:中国...
![超大规模集成电路形式验证的方法研究]()
论文题目:超大规模集成电路形式验证的方法研究论文类型:博士论文论文专业:电路与系统作者:卢永江导师:严晓浪关键词:模拟验证,形式验证,等价性验证,二叉决策图,可满足性,割集,锁...
