随着集成电路设计水平的进步，电路规模日益增大，电路设计的时间越米越多的耗费在电路的验证问题上。传统的基于模拟的验证逐渐不能满足验证的需要，形式验证方法作为传统模拟验证方法的补充成为研究的热点。等价验证可以分为组合电路的等价验证和时序电路的等价验证。组合电路的等价验证算法目前发展比较成熟，成为很多时序电路验证算法的基础。本文的研究工作主要集中在时序电路的等价验证部分，由两部分组成： 第一部分是时序电路等价验证的研究。时序电路的等价验证通常使用的方法都是对有限状态机进行遍历，利用电路中的组合部分，或是展开成时间帧的形式加以验证，或是利用结构中的相似性用固定点迭代的方式进行验证，或是化作布尔表达式用可满足性问题的算法进行验证。本文的算法将时序电路的时序行为用状态转换图的形式来表示，对待验证电路的状态转化图进行同构验证，从而验证两电路是否等价。主要的创新处在于：1.不依赖于电路结构的相似性，可以验证结构不同，寄存器数目不同的电路；2.采用图的方式表示时序电路的行为，而不依赖于状态编码或者是布尔表达式：3.速度优于传统的基于BDD的状态遍历法以及结构不动点法。 第二部分是FPGA中电路等价验证的研究。针对FPGA流程的工艺映射流程、和装箱流程展开验证。对于经过工艺映射的由LUT(look up table)组成的电路和原始的gate_level的电路进行等价验证，以及对于经过装箱的由cluster组成的电路和LUT组成的电路进行等价验证。采用寄存器匹配的方法将时序电路转化为组合电路后，用C-SAT算法进行验证。
资源简介：模拟电子电路的一点学习方法，版主一研两发分享的资料，非常不错，值得一看~！
上传时间： 2013-05-18
上传用户：JANEM
资源简介：模拟电路的一点学习方法
上传时间： 2013-11-04
上传用户：wdq1111
资源简介：一个有关时序电路的设计的一个讲义，希望大家看了后能喜欢，谢谢哟！
上传时间： 2015-04-19
上传用户：lingzhichao
资源简介：包含内容有1．逻辑代数基础 2逻辑函数的表示方式和化简 3中规模集成电路的分析和设计 4触发器及其简单应用电路 5同步时序电路的分析和设计 6常见的同步集成时序电路 7异步时序电路的分析和设计 8数字逻辑技术的最新发展 是我们大学老师（这方面的专家...
上传时间： 2013-12-14
上传用户：leehom61
资源简介：简述了V HDL 语言的功能及其特点,并以 8 位串行数字锁设计为例,介绍了在Max + plus Ⅱ10. 2 开发软件下,利用V HDL 硬件描述语言设 计数字逻辑电路的过程和方法。并设计了密码锁
上传时间： 2013-12-23
上传用户：yimoney
资源简介：在网上找的模拟电子电路的一点学习方法，对初学者有帮助
上传时间： 2013-12-27
上传用户：aeiouetla
资源简介：一种基于贝叶斯理论的目标验证方法。 提出了一种验证图像中候选目标的新方案. 综合目标的先验知识,将目标验证转化为给定候选目标的条 件下,图像特征观察集合的条件概率问题. 同时,提取图像的短线段特征,利用短线段特征的观察,给出了一种目标 验证方法排除...
上传时间： 2013-11-26
上传用户：rishian
资源简介：SSH下实现用户登陆的COOKIE验证方法
上传时间： 2017-09-04
上传用户：zhuyibin
资源简介：SSH下实现用户登陆的COOKIE验证方法
上传时间： 2013-12-15
上传用户：vodssv
资源简介：本文详细介绍了制作电路板的方法及步骤. 实验板的功能 这个实验板可以做如下实验： 1．可以进行运算器（加、减、乘和除法）、比较器、译码器、编码器、选择器、分配器和一般组合电路的实验 2．可以进行触发器、寄存器、计数器和一般时序电路的实验 3．可...
上传时间： 2015-10-02
上传用户：colinal
资源简介：USB作为从机设备时，管脚连接以及通讯的验证方法其实就是下载一段简单USB程序，在不需要任何驱动的前提下实现简单的USB通讯。通过这个简单程序的运行情况来判断USB管脚和通讯是否正常。
上传时间： 2022-02-22
上传用户：jason_vip1
资源简介：ESD 静电放电给你的电子产品带来致命的危害不仅降低了产品的可靠性增加了维修成本而且不符合欧洲共同体规定的工业标准EN61000-4-2 就会影响产品在欧洲的销售所以电子设备制造商通常会在电路设计的初期就考虑ESD 保护电路本文将讨论ESD保护电路的几种方法.
上传时间： 2013-11-24
上传用户：zxc23456789
资源简介：分析了高频整流电路输入电流的谐波特性，并在高频整流电路的基础上进行了改进，分别加入了并联谐振电路和低通滤波器。利用Multisim构建了仿真模型，给出了仿真模型中电路的参数，得到了仿真结果。仿真结果表明，高频整流电路的改进设计方法可有效地抑制电源模...
上传时间： 2013-11-09
上传用户：Artemis
资源简介：本论文所涉及的电源管理方案来源于与台湾某上市公司的横向合作项目，在电源管理产品朝着低功耗、高效率和智能化方向发展的形势下，论文采用了一种开关电源与低压降（LDO）线性电压调节器结合应用的集成方案，即将LDO作为升压型电源管理芯片的内部供电模块。按...
上传时间： 2022-06-22
上传用户：
资源简介：本书总结了作者多年的教学实践经验，将电子线路课程内容与电子线路的计算机辅助分析及设计紧密结合起来，以适应教学改革的需要，全书共 分 为 10 章 ，内容是，绪论，PSp,ee 的主要分析功能 介 绍，电路 元器件和模型，电路宏模 型，半导体器件基础，模拟集...
上传时间： 2022-07-10
上传用户：
资源简介：本文详细介绍了制作电路板的方法及步骤.\r\n实验板的功能\r\n这个实验板可以做如下实验：\r\n1．可以进行运算器（加、减、乘和除法）、比较器、译码器、编码器、选择器、分配器和一般组合电路的实验\r\n2．可以进行触发器、寄存器、计数器和一般时序电路的实...
上传时间： 2013-09-01
上传用户：吾学吾舞
资源简介： 为了实现时序电路状态验证和故障检测，需要事先设计一个输入测试序列。基于二叉树节点和树枝的特性，建立时序电路状态二叉树，按照电路二叉树节点(状态)与树枝(输入)的层次逻辑关系，可以直观和便捷地设计出时序电路测试序列。用测试序列激励待测电路，可...
上传时间： 2013-10-19
上传用户：qitiand
资源简介：基于Verilog-HDL的硬件电路的实现 9.1 简单的可编程单脉冲发生器 9.1.1 由系统功能描述时序关系 9.1.2 流程图的设计 9.1.3 系统功能描述 9.1.4 逻辑框图 9.1.5 延时模块的详细描述及仿真 9.1.6 功能模块Verilog-HDL描述...
上传时间： 2015-09-16
上传用户：chfanjiang
资源简介：基于Verilog-HDL的硬件电路的实现 9.7 步进电机的控制 9.7.1 步进电机驱动的逻辑符号 9.7.2 步进电机驱动的时序图 9.7.3 步进电机驱动的逻辑框图 9.7.4 计数模块的设计与实现 9.7.5 译码模块的设计与实现 9.7.6 步进电...
上传时间： 2014-01-23
上传用户：拔丝土豆
资源简介：随着锂电池技术的发展和节能环保概念的普及，大容量锂离子电池在大功率场合的应用前景也越来越广阔，比如电动汽车、电动自行车、混合动力汽车、太阳能发电系统等新能源以及航空航天领域。 但是锂离子电池组串联使用时容量不均衡的问题大大限制其广泛应用，加...
上传时间： 2013-06-11
上传用户：liuchee
资源简介：随着数字集成电路技术的不断发展，数字集成电路的供电电源-电压调节模块（VRM）也有了新的发展趋势：输出功率越来越大、输出电压越来越低、输出电流越来越大。因此，对低输出电压、大输出电流的VRM及其相关技术的研究在最近几年受到广泛的关注。 本文以36V-72...
上传时间： 2013-06-16
上传用户：songnanhua
资源简介：近几十年来,由于大功率电力电子装置的广泛应用,使公用电网受到谐波电流和谐波电压的污染日益严重,功率因数低,电能利用率低。为了抑制电网的谐波,提高功率因数,人们通常采用无功补偿、有源、无源滤波器等对电网环境进行改善。近年来,功率因数校正技术作为抑制...
上传时间： 2013-05-22
上传用户：源码3
资源简介：可配置端口电路是FPGA芯片与外围电路连接关键的枢纽，它有诸多功能：芯片与芯片在数据上的传递(包括对输入信号的采集和输出信号输出)，电压之间的转换，对外围芯片的驱动，完成对芯片的测试功能以及对芯片电路保护等。 本文采用了自顶向下和自下向上的设计方...
上传时间： 2013-07-20
上传用户：顶得柱
资源简介：本文将电路接口技术与硬件可编程技术相结合，提出了用可编程芯片来控制IDE硬盘进行高速数据记录，能够满足机载数据记录设备重量轻、容量大、速度快的要求。 论文对硬盘ATA接口标准进行了研究，对VHDL语言、现场可编程门阵列器件(FPGA)实现硬件电路的原理和方...
上传时间： 2013-08-05
上传用户：hanli8870
资源简介：针对常用电流模式的升压转换器结构，提出了一种高精度电流检测电路。该电路在保证响应速度的 前提下，通过增加电路环路增益，降低误差源等方法，提高检测电路的电流检测精度。与其他结构电路相 比，有结构简单，响应速度快，电流检测精度高的优点。基于Char...
上传时间： 2013-04-24
上传用户：西伯利亚
资源简介：Protues使用总线方式画电路的方法 使用教程 适合初级新手
上传时间： 2013-05-24
上传用户：bcjtao
资源简介：可配置端口电路是FPGA芯片与外围电路连接关键的枢纽，它有诸多功能：芯片与芯片在数据上的传递(包括对输入信号的采集和输出信号输出)，电压之间的转换，对外围芯片的驱动，完成对芯片的测试功能以及对芯片电路保护等。 本文采用了自顶向下和自下向上的设计方...
上传时间： 2013-06-03
上传用户：aa54
资源简介：在数字电路的设计中，时序设计是一个系统性能的主要标志，在高层次设计方法中，对时序控制的抽象度也相应提高，因此在设计中较难把握，但在理解RTL电路时序模型的基础上，采用合理的设计方法在设计复杂数字系统是行之有效的，通过许多设计实例证明采用这种方...
上传时间： 2013-08-18
上传用户：nairui21
资源简介：基于探索仿真三态门总线传输电路的目的，采用Multisim10仿真软件对总线连接的三态门分时轮流工作时的波形进行了仿真实验测试，给出了仿真实验方案，即用Multisim仿真软件构成环形计数器产生各个三态门的控制信号、用脉冲信号源产生各个三态门不同输入数据信号...
上传时间： 2013-12-14
上传用户：jackandlee
资源简介：时序逻辑电路的分析和设计
上传时间： 2013-11-08
上传用户：1159797854
