随着集成电路设计水平的进步，电路规模日益增大，电路设计的时间越米越多的耗费在电路的验证问题上。传统的基于模拟的验证逐渐不能满足验证的需要，形式验证方法作为传统模拟验证方法的补充成为研究的热点。等价验证可以分为组合电路的等价验证和时序电路的等价验证。组合电路的等价验证算法目前发展比较成熟，成为很多时序电路验证算法的基础。本文的研究工作主要集中在时序电路的等价验证部分，由两部分组成： 第一部分是时序电路等价验证的研究。时序电路的等价验证通常使用的方法都是对有限状态机进行遍历，利用电路中的组合部分，或是展开成时间帧的形式加以验证，或是利用结构中的相似性用固定点迭代的方式进行验证，或是化作布尔表达式用可满足性问题的算法进行验证。本文的算法将时序电路的时序行为用状态转换图的形式来表示，对待验证电路的状态转化图进行同构验证，从而验证两电路是否等价。主要的创新处在于：1.不依赖于电路结构的相似性，可以验证结构不同，寄存器数目不同的电路；2.采用图的方式表示时序电路的行为，而不依赖于状态编码或者是布尔表达式：3.速度优于传统的基于BDD的状态遍历法以及结构不动点法。 第二部分是FPGA中电路等价验证的研究。针对FPGA流程的工艺映射流程、和装箱流程展开验证。对于经过工艺映射的由LUT(look up table)组成的电路和原始的gate_level的电路进行等价验证，以及对于经过装箱的由cluster组成的电路和LUT组成的电路进行等价验证。采用寄存器匹配的方法将时序电路转化为组合电路后，用C-SAT算法进行验证。
资源简介：MATLAB及其在FPGA中的应用（第2版）
上传时间： 2013-11-01
上传用户：wettetw
资源简介：MATLAB及其在FPGA中的应用（第2版）
上传时间： 2013-11-02
上传用户：panpanpan
资源简介：该文档为FM0编码及其在FPGA中的设计与实现讲解资料，讲解的还不错，感兴趣的可以下载看看…………………………
上传时间： 2021-10-30
上传用户：XuVshu
资源简介：MATLAB及其在FPGA中的应用（第2版）本书紧密结合作者在MATIAB和FPGA应用领域中的实际经验，讲述了MATIAB的基本使用方法及其在FPGA设计中的应用。书中略去对MATIAB和FPGA的一般性介绍，以大量设计实例为切入点，将MATIAB强大的数值计算和算法仿真功能与当今电...
上传时间： 2013-11-15
上传用户：雨出惊人love
资源简介：MATLAB及其在FPGA中的应用（第2版）本书紧密结合作者在MATIAB和FPGA应用领域中的实际经验，讲述了MATIAB的基本使用方法及其在FPGA设计中的应用。书中略去对MATIAB和FPGA的一般性介绍，以大量设计实例为切入点，将MATIAB强大的数值计算和算法仿真功能与当今电...
上传时间： 2013-11-15
上传用户：清风冷雨
资源简介：马尔科夫网的概念_方法及其在图像处理中应用
上传时间： 2014-01-18
上传用户：wpt
资源简介：该文档为基本电路及其在FPGA中实现讲解资料，讲解的还不错，感兴趣的可以下载看看…………………………
上传时间： 2021-11-01
上传用户：
资源简介：单片机原理及其在家用电器中的应用
上传时间： 2013-06-05
上传用户：eeworm
资源简介：东芝单片机原理及其在家用电器中的应用
上传时间： 2013-05-29
上传用户：eeworm
资源简介：专辑类-单片机专辑-258册-4.20G 东芝单片机原理及其在家用电器中的应用-311页-7.0M.pdf
上传时间： 2013-07-31
上传用户：夜月十二桥
资源简介：专辑类-单片机专辑-258册-4.20G 单片机原理及其在家用电器中的应用-392页-7.6M.pdf
上传时间： 2013-04-24
上传用户：Shoen
资源简介：DAC0832工作原理及其在单片机中的应用(基于Proteus仿真)
上传时间： 2013-10-09
上传用户：zxh122
资源简介：ADC0804工作原理及其在单片机中的应用(基于Proteus仿真
上传时间： 2013-10-17
上传用户：cuiyashuo
资源简介：编码器倍频、鉴相电路在FPGA中的实现
上传时间： 2013-11-08
上传用户：38553903210
资源简介：编码器倍频、鉴相电路在FPGA中的实现
上传时间： 2013-10-27
上传用户：royzhangsz
资源简介：OGSA安全体系及其在GT3中的实现
上传时间： 2014-12-07
上传用户：rocwangdp
资源简介：全套资料包括：树及其在单片机中的算法实现及其相关源代码
上传时间： 2015-05-25
上传用户：miaochun888
资源简介：hogenauer cic滤波器的算法的研究及其与在FPGA中的实现，简明易懂。
上传时间： 2013-12-14
上传用户：源弋弋
资源简介：用三块超声波模块组成一个等边三角形,以三角形的中心为坐标源点,可以测出空间中任意一点到坐标源点的距离及其在空间中的坐标,并通过12864LCD显示出来.
上传时间： 2013-12-14
上传用户：jkhjkh1982
资源简介：介绍了一种嵌入式Linux操作系统uclinux。基于USB的实时数据采集系统及其在MATLAB中的应用
上传时间： 2013-12-18
上传用户：2404
资源简介：Excel与MATLAB的链接及其在化学中的应用 Excel与MATLAB的链接及其在化学中的应用
上传时间： 2016-04-19
上传用户：黄华强
资源简介：三阶维格纳互普及其在Matlab中的实现-pdf文档
上传时间： 2014-01-13
上传用户：15071087253
资源简介：Pascal堆排序 标准、最快的堆排序方法（在FreePascal中）
上传时间： 2013-11-27
上传用户：it男一枚
资源简介：蚁群算法及其在TSP中的应用。一篇很好的论文。
上传时间： 2016-10-16
上传用户：奇奇奔奔
资源简介：从介绍功率谱的估计原理入手,分析了经典谱估计和现代谱估计两类估计方法的原理!各自特点及在Matlab中的实现方法,最后举了一个例子加以说明。
上传时间： 2017-06-15
上传用户：13517191407
资源简介：单片机专辑 258册 4.20G单片机原理及其在家用电器中的应用 392页 7.6M.pdf
上传时间： 2014-05-05
上传用户：时代将军
资源简介：单片机专辑 258册 4.20G东芝单片机原理及其在家用电器中的应用 311页 7.0M.pdf
上传时间： 2014-05-05
上传用户：时代将军
资源简介：该文档为人工神经网络概述及其在分类中的应用举例总结文档，是一份很不错的参考资料，具有较高参考价值，感兴趣的可以下载看看………………
上传时间： 2022-02-09
上传用户：qingfengchizhu
资源简介：数据结构是计算机学科的一门核心课程。数据结构课程的 任务是讨论现实世界中数据的各种逻辑结构、在计算机中的存 储结构以及实现各种操作的算法等问题。掌握如何组织数据、 如何存储数据和如何处理数据的基本方法，从而更好地进行软 件开发和应用。 ...
上传时间： 2013-12-22
上传用户：kelimu
资源简介：matlab在FPGA中的应用的三个具体事例，。
上传时间： 2013-08-16
上传用户：从此走出阴霾
