该文档为Verilog-HDL讲座第8讲用Verilog-HDL做CPLD设计-时序逻辑讲解文档，是一份不错的参考资料，感兴趣的可以下载看看，，，，，，，，，，，，，，，，，
/dl/205491.html
标签： Verilog-hdl 时序逻辑
上传时间： 2021-04-27
上传用户：张奎华
本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL(Generalized Possibilistic Fuzzy Linear Tempora Logic)的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPo LTL(Generalized Possibilistic Linear Tempora Logic)进行了扩张,并通过实例说明了GPoFLTL比GPo LTL具有更强的表达能力; ...
/dl/206413.html
标签： 时序逻辑
上传时间： 2021-06-19
上传用户：sinxsoft
针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通 ...
/dl/210767.html
标签： 业务 流程 形式化 设计 验证限自动机 模型检测 线性时序逻辑
上传时间： 2022-09-08
上传用户：philis
· 摘要： 消化道无线内窥镜便携式图像接收装置是在TMS320C6211 DSP的基础上进行开发的.先对摄像胶囊发出的调制信号进行接收和解调,然后利用视频解码芯片SAA7114H的同步信号,经过时序逻辑变换,控制对断续视频信号的采集,并将其存储到CF卡中.此外,还利用高速DSP对图像信号进行预处理和压缩,可大大节约数据的存储 ...
/dl/205713.html
上传时间： 2021-05-09
上传用户：qq516333132
本书是通信、电子信息等相关专业的基础课教材，全书共分7章，主要内容有：数字逻辑基础、组合逻辑电路、时序逻辑电路、脉冲信号的产生与变换电路、半导体存储器、数模与模数转换器、PLD和Verilog-HDL简介，各章配有例题、小结及习题。本书内容丰富、结构合理、实用性强，既可作为通信、电子信息等相关专业的专科、本科教材 ...
/dl/209349.html
标签： 数字电路
上传时间： 2022-02-07
上传用户：huangchaowxl
本书内容主要包括逻辑门电路、组合逻辑电路、触发器及其应用、时序逻辑电路、脉冲信号的产生及波形变换、数/模转换器和模/数转换器、半导体存储器与可编程逻辑器件、数字电路的设计。本书注重应用实践和基本技能的训练，加强了可编程逻辑器件以及开发软件的应用、VHDL的介绍与应用，以及综合性实训项目的设计与开发。 本书 ...
/dl/209357.html
标签： 数字电路
上传时间： 2022-02-08
上传用户：tzw
分布式偏振耦合检测系统，是保偏光纤制造及使用过程中的一种有效检测手段，它用于保偏光纤偏振模式能量耦合现象的检测，因此，提高光纤偏振器件及系统的性能。同时，该系统在光纤陀螺和分布式传感领域等也具有较好的应用前景。 本文在课题组已有的分布式偏振耦合测试光路和机械系统的基础上，设计了基于FPGA的分布式偏振耦 ...
/dl/210526.html
上传时间： 2022-09-05
上传用户：wcj19951107
本文介绍了数字I/O和逻辑分析仪的常用术语和定义。
/dl/205530.html
标签： 逻辑分析仪
上传时间： 2021-04-29
上传用户：supernova
SPI总线时序跟协议介绍，希望有所帮助。。看过，还可以
/dl/205801.html
上传时间： 2021-05-14
上传用户：ysb
讲述了逻辑分析仪的原理和使用方法，从基础到高级应用有一个清晰的理解。
/dl/206158.html
上传时间： 2021-06-03
上传用户：Shawnbaker
