形式验证相关论文
热导式气压传感器广泛应用于航天、化工、半导体加工、食品加工、电子封装以及科学研究等诸多领域。随着微机电系统(MEMS)和集成电......
在混合系统中,离散事件和连续动态行为相互作用的特性使得系统开发的正确性难以保证,尤其对于安全悠关的系统,如电力系统和化工系......
混合系统主要研究由连续性子系统和离散性子系统相互作用而构成的一类动态系统。连续性子系统和离散性子系统二者相互作用,使系统......
随着过程控制对象越来越复杂,混杂特性已经普遍存在于流程工业中。针对这种情况,论文研究了基于混合逻辑动态(MLD:Mixed Logical D......
形式化方法目前在工业界还没有得到广泛应用，主要是因为各种形式化方法没有很好地整合到工业界的软件开发过程中去，并且目前还没有比......
随着数字IC设计规模的增大和功能复杂性的提高,设计验证成为IC设计流程中越来越重要的方面。传统的模拟验证方法无法满足复杂IC设......
信息时代的发展,引领计算机软件应用深入到千家万户,各行各业。随着软件的应用领域迅速加大,规模急速扩张,软件安全性的要求也逐步......
分段仿射(PWA)模型不仅在描述系统非线性特性和混杂特性方面独具优势,而且能够方便的用于对系统性能的分析和控制方法的研究中,因......
随着集成电路进入超摩尔时代,集成电路规模日益增大,功能日渐复杂,验证工作在芯片研发周期中占到约70%的时间,传统的直接验证已无......
近两年,微电子技术得到了迅速地发展,芯片设计水平不断提高,传统的验证方法已经无法满足目前的验证需求,功能验证逐渐面临着巨大的......
PLC(可编程逻辑控制器)是一种嵌入式设备,广泛应用于工业控制领域。这些领域对程序的正确性要求很高,但传统的模拟、测试等方法无......
随着集成电路设计的复杂度和难度日益增大,验证作为设计过程中的关键环节,面临着巨大挑战。据统计,在芯片设计中,超过50%的人力和......
数字信号处理器(Digital signal processor,DSP)广泛应用于雷达、声纳、数字通信以及语音视频信号处理等领域。为保证DSP能够正常......
混合系统理论是控制工程理论与计算机科学验证交叉的学科领域。混合系统理论主要涉及到有限自动机表示的离散状态与微分方程表示的......
混杂系统是连续变量动态系统和离散事件动态系统相结合，并且二者相互影响相互作用的一类系统。混杂系统形式验证是混杂系统的一个研......
自主车辆是集环境感知、规划决策、多等级辅助驾驶等功能于一体的综合智能系统。它集中运用了计算机、现代传感、信息融合、通信、......
研究成品率分析芯片的特点和设计流程,提出适用的LVS万法.该方法结合传统的LVS及形式验证,能够解决成品率分析芯片中违反设计规则......
符号模型检查（ＳｙｍｂｏｌｉｃＭｏｄｅｌＣｈｅｃｋｉｎｇ，ＳＭＣ）是一种有效的形式验证方法．该方法主要有２个难点：一个是建模，即如何建立并用有限内存来表示电路的状态机模型；另一个是在此......
为了探索更好的验证方式,本文总结了仿真验证方法在应对HDLC协议验证时面临的挑战,提出了以形式验证对HDLC协议设计进行协议级验证......
前言rn断言和功能覆盖率犹如一个硬币的两面.在一个RTL的设计中,两者都提供了详尽的可观察点.断言提供了功能正确与否的信息,而功......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
提出了一个可满足性问题解决器,它结合了DPLL(Davis Putnam Loge-mann and Loveland)算法和作为高级推理技术之一的失败性文字检查......
