·VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,并将传播过程和断言条件一起转化成CLP约束,最后求解CLP约束生成模拟矢量.该方法的优势在于运用了字级(word-level)约束求解技术,能统一处理控制电路和数
资源简介:故障样本数据的获取是模拟电路故障诊断中最基本的步骤。为了实现短时间内多次进行故障注入、获取大量样本数据,提出了基于SLPS的样本数据自动获取技术。利用SLPS将PSpice与Matlab结合,采用Matlab编程,实现故障模拟电路仿真数据获取的自动化。实际应用表明该...
上传时间: 2013-10-23
上传用户:ZJX5201314
资源简介:基于图像处理技术的零件尺寸自动检测方法 包括源代码论文等等,欢迎使用改进
上传时间: 2016-06-23
上传用户:fnhhs
资源简介:采用DDS 技术实现了基于DSP 的模拟调制实验模块。包括系统的硬件和软件设计,模拟调制原理,DSP实现模拟调制的方法,同时采用单象限正弦波形存储器结构对DDS 模块进行了改进,提高调制器的性能。
上传时间: 2013-11-29
上传用户:jeffery
资源简介:本文研究了基于FPGA的模拟演示系统,主要研究了其中FPGA控制板硬件设计、FPGA控制模块软件设计及上位机控制软件的设计。在目前的作战演示中,突出了形象、直观、易于分析战场形势的特点。 本文首先介绍了系统设计的背...
上传时间: 2013-04-24
上传用户:LIKE
资源简介:基于MSP430的模拟SPI串口通信的实现
上传时间: 2013-11-23
上传用户:wfymay
资源简介:本设计是基于EasyFPGA030的模拟开小车的设计,用EasyFPGA030开发套件,用6个发光二极管模拟6个汽车尾灯(汽车尾灯左右各3个),用2个开关作为转弯控制信号,一个左转,一个右转。当汽车前进时,6个灯全灭,右转,右边3个尾灯从左到右循环点亮,左边3个灯全灭...
上传时间: 2013-10-12
上传用户:15736969615
资源简介:基于FPGA的小数分频实现方法
上传时间: 2013-10-11
上传用户:jiangxiansheng
资源简介:基于FPGA的小数分频实现方法
上传时间: 2013-11-05
上传用户:feifei0302
资源简介:基于ARM的串口通讯新方法
上传时间: 2015-02-03
上传用户:zuozuo1215
资源简介:Doc++,可以根据你的C/C++和java的源码文件中的注释行自动生成Html说明文件的工具,要用Gun的编译
上传时间: 2013-12-29
上传用户:tianjinfan
资源简介:基于Matlab的模拟退火算法工具箱
上传时间: 2013-12-17
上传用户:皇族传媒
资源简介:基于TMS320LF2407A的CAN通信程序设计方法
上传时间: 2013-12-24
上传用户:lacsx
资源简介:基于BP的神经网络的人脸图像识别方法的研究。其中详细讲述了基于BP的神经网络人脸识别方法,还附有部分源程序
上传时间: 2013-12-23
上传用户:2467478207
资源简介:基于单片机的烘炉温度自动检测系统的研究与设计 需要下载CAJViewer6.0
上传时间: 2013-12-22
上传用户:ecooo
资源简介:理发馆问题。基于vc的模拟试验.包括试验设计文稿。
上传时间: 2015-09-21
上传用户:heart520beat
资源简介:简单的考试系统,自动生成题目,用的电卡片布局管理
上传时间: 2015-11-12
上传用户:671145514
资源简介:基于matlab的FIR滤波器最优化设计方法(基于切比雪夫逼近法)
上传时间: 2015-11-25
上传用户:vodssv
资源简介:vb控件用与打印报表之类的东西 可以自动生成
上传时间: 2016-01-03
上传用户:Late_Li
资源简介:一个简单校验borland的XML结构的完整性和自动生成对应XML的结构的小工具。
上传时间: 2016-01-12
上传用户:zhaiyanzhong
资源简介:基于Java3D的三维场景生成工具的研究与实现 论文
上传时间: 2016-03-13
上传用户:无聊来刷下
资源简介:一种基于TTRNN的汉语拼音全音节识别方法
上传时间: 2013-12-21
上传用户:hasan2015
资源简介:《基于PDA的GPS定位精度提高方法》,介绍了在WINDOWS CE嵌入式系统中实现PDA和GPS 串性通信的方法
上传时间: 2016-06-10
上传用户:lyy1234
资源简介:这是一个基于lpc2106ram的模拟程序,含有Proteus下的原理图和ads下的源代码
上传时间: 2014-01-19
上传用户:CHINA526
资源简介:基于汇编的模拟洗衣机编程,简单又实效!同学做课程设计的可以看一下
上传时间: 2014-06-26
上传用户:gtf1207
资源简介:实体类代码生成器,如何自动把数据库中的每张表自动生成一个Bean类,可以学习,也可以下载过去用
上传时间: 2013-12-25
上传用户:1079836864
资源简介:基于VC的模拟退火算法的实现.pdf.电子科技大学朱桂凤.
上传时间: 2016-07-01
上传用户:叶山豪
资源简介:由输入的正规式自动生成NFA,再转换为DFA。再对指定的文件进行处理。找出该文件中与正规式匹配的子串。
上传时间: 2013-12-17
上传用户:Miyuki
资源简介:基于80c51的模拟IIC时序,采用C语言编写,可以写入数据,也可读出数据
上传时间: 2014-01-01
上传用户:zsjinju
资源简介:词法分析器 可以识别c++的源码,自动生成词法分析表, 在分析结束后会指出源代码中可能的错误 待分析的源代码要以 *源代码.txt的格式保存
上传时间: 2016-09-24
上传用户:xiaoxiang
资源简介:提出了一种IEEE 802.16系统中基于预留的MAC层资源调度方法,可以有效的解决IEEE802.16系统中 高优先级业务过多占用优先级业务带宽而带来的不公平性问题。仿真结果表明,与原有资源调度算法相比,这种 算法能够在满足各种业务对QoS要求的同时,具有更好的公平性...
上传时间: 2014-01-03
上传用户:pompey