形式验证相关论文
多周期路径是将复杂电路运算拆分在多个时钟周期完成,从而提高电路总体运行频率的一种方法;在设计和验证中,多周期路径约束错误会......
混杂系统的形式验证中,确定近似商迁移系统的迁移关系,需要根据初始状态集计算系统可达集的流管道近似。本文针对线性定常系统的特点......
在化工系统实际运行过程中,常常会出现一些不正常的工作状态,为了使系统运行状态能够避开这些不正常的工作状态,往往需要对控制器进行......
控制器综合从较高的抽象层次开始,使用硬件描述语言,采用综合优化工具进行,因此验证综合过程的正确性至关重要。本文采用图同构的方法......
本文主要讲述了在使用Formality作形式验证时发现了综合前后仿真失配的各种问题,并对其中由于不良的代码风格所引起的问题进行了举......
随着集成电路设计复杂性的日益增加,功能验证已成为整个设计流程的瓶颈.传统的模拟验证方法需要大量的时间,而且不能获得完全的覆......
澄清了非滥用性质的模糊理解,提出了一种新的非滥用性质的形式化描述,并用定理证明工具Isabelle/HOL验证了BW多方合同签署协议的非......
针对采用PLC的工业混合控制系统,在PLC自动机和C/E模型的基础上,给出了C/E-PLC自动机的混合控制系统PLC程序的形式验证以及在子系......
中国电子学会电路与系统第十六届学术年会将于2001年5月下旬在浙江省宁波大学召开,会议由中国电子学会电路与系统分会主办。此次年......
功能验证是大型IC设计中的一个主要组成部分,对仿真、研究测试及调校工具厂家的压力很大。为了减轻这一方面的负担,有些设计人员正......
设计数据不让EDA算法专美,已成为大型系统能否成功实现的关键之一。用户有了以设计为中心的设计方法,就能免受厂方专用工具的束缚,......
前言断言和功能覆盖率犹如一个硬币的两面。在一个RTL的设计中,两者都提供了详尽的可观察点。断言提供了功能正确与否的信息,而功......
本文以多媒体处理数字芯片W99711为例,详细描述了静态验证在W99711中的应用。
In this paper, multimedia processing chip W9971......
随着片上系统(SoC)设计复杂度的增加,芯片设计和验证之间的差距逐渐拉大。如何提高验证效率成了集成电路业面临的一个巨大挑战。该......
1周领顺教授的两部学术近著《译者行为批评:理论框架》(商务印书馆2014年版,以下简称《理论》)和《译者行为批评:实践探索》(商务......
热导式气压传感器广泛应用于航天、化工、半导体加工、食品加工、电子封装以及科学研究等诸多领域。随着微机电系统(MEMS)和集成电......
混合系统的形式验证方法是从理论计算机科学中发展而来,是混合系统研究的一个热点和难点.该文所有论述均围绕着解决混合系统的形式......
在混合系统中,离散事件和连续动态行为相互作用的特性使得系统开发的正确性难以保证,尤其对于安全悠关的系统,如电力系统和化工系......
混合系统主要研究由连续性子系统和离散性子系统相互作用而构成的一类动态系统。连续性子系统和离散性子系统二者相互作用,使系统......
随着过程控制对象越来越复杂,混杂特性已经普遍存在于流程工业中。针对这种情况,论文研究了基于混合逻辑动态(MLD:Mixed Logical D......
随着深亚微米的半导体制造工艺得到广泛应用,超大规模集成电路(VLSI)集成度迅速提高.在电子设计自动化(EDA)领域,检验电路设计正确......
包括控制领域和迁移领域的嵌入式系统通常用不同的语言进行描述.这些语言有着各自不同的语义和应用领域,同时也能够根据各自领域的......
学位
随着计算机系统规模和复杂度的不断增加,应用范围的不断扩大,人们对系统正确性的要求也日益提高。模型检验是一种形式验证技术,它的主......
在现代超大规模集成电路中,每个芯片中都包含上百万个晶体管和互连线,其中任何缺陷都可能导致整个芯片设计失败.在后端物理设计中,......
形式化开发安全保证技术是高安全等级操作系统的关键技术难点,国内尚未见相关研究成果,论文围绕高安全等级操作系统开发的整个生命周......
集成电路设计复杂度的不断增加,对于设计验证技术提出了新的挑战。传统的模拟方法已经很难满足工业设计的需要。因此高效、易用的形......
形式验证是一种比测试和模拟更具吸引力的描述和验证软硬件系统的方法.形式验证方法的种类很多,从定理证明到计算机辅助定理证明,......
形式化方法目前在工业界还没有得到广泛应用,主要是因为各种形式化方法没有很好地整合到工业界的软件开发过程中去,并且目前还没有比......
随着数字IC设计规模的增大和功能复杂性的提高,设计验证成为IC设计流程中越来越重要的方面。传统的模拟验证方法无法满足复杂IC设......
分段仿射(PWA)模型不仅在描述系统非线性特性和混杂特性方面独具优势,而且能够方便的用于对系统性能的分析和控制方法的研究中,因......
随着集成电路进入超摩尔时代,集成电路规模日益增大,功能日渐复杂,验证工作在芯片研发周期中占到约70%的时间,传统的直接验证已无......
近两年,微电子技术得到了迅速地发展,芯片设计水平不断提高,传统的验证方法已经无法满足目前的验证需求,功能验证逐渐面临着巨大的......
PLC(可编程逻辑控制器)是一种嵌入式设备,广泛应用于工业控制领域。这些领域对程序的正确性要求很高,但传统的模拟、测试等方法无......
随着集成电路设计的复杂度和难度日益增大,验证作为设计过程中的关键环节,面临着巨大挑战。据统计,在芯片设计中,超过50%的人力和......
数字信号处理器(Digital signal processor,DSP)广泛应用于雷达、声纳、数字通信以及语音视频信号处理等领域。为保证DSP能够正常......
基于Petri网提出一套完整的并发系统需求说明、建模、形式验证的方法。建立概念模型,用于需求规格说明,包括功能图、资源图和约束集。给出......
形式化方法是计算机系统设计验证的一条有效途径。形式验证(formal verification)作为传统基于模拟的验证方法的补充,成为VLSI(Very......
“软件工程”是在1968年作为一个有争议的术语杜撰出来的,其目的是想突出软件研制所需要的科学的和与过程有关的方法.在对这个问......
形式验证工具创业公司的Jasper Design Automation公司正在提供一款用于帮助IC验证团队生成并跟踪验证计划的免费工具。Jasper公司......
本文论述了SOC正确性验证所使用的模拟、形式验证技术和静态验证技术等,并讨论了在设计过程中系统级、模块级、门级和物理级各个层......
一、引言 验证逻辑设计正确性的传统方法是模拟(Simulation),然而随着数字电路规模和功能扩大,模拟方法已不能保证设计的正确性。......
从通信网络特点出发,重点介绍仿真中常用的有限状态机(FSM)、SpecChart、Petri网、SDL和CSP5种系统级描述语言,并对它们在系统级描述特征方面进行比较。同时,提出......