现有模型检测工具的形式化规范语言。如计算树逻辑(computation tree logic,简称CTL)和线性时序逻辑(Linear temporal logic,简称LTL)等的描述能力不足
2018-01-26 14:48
时序逻辑自动测试生成的PDF文件免费下载包括了:时序逻辑电路 • 时间帧(Time Frame)扩展法 • 基于仿真(simulation)方法 • 测试数据压缩与解压
2020-12-01 08:00
单片机教程学习、电子技术学习培训学习资料。
2016-07-08 14:23
7.1 集成计数器 7.2 集成寄存器和移位寄存器 7.3 序列信号发生器 7.4 以MSI为核心的同步时序电路的分析与设计
2010-10-14 16:17
基础的电子类资料,电子工程师必备文档,快来下载学习吧。
2016-07-04 15:47
很好的电子设计资料,基础的资料,快来下载吧
2016-09-01 18:17
2012-09-01 21:42
组合逻辑电路是指在任何时刻,输出状态只决定于同一时刻各组合逻辑电路输入状态的组合,而与电路以前状态无关而与其他时间的状态无关。如:加法器、编码器、译码器、选择器等
2020-12-09 14:49
Verilog数字系统设计五简单组合逻辑实验2文章目录Verilog数字系统设计五前言一、4选1多路选择器是什么?二、编程1.要求:2.实现代码:3.仿真测试:总结前言 随着人工智能的不断发展
2021-12-05 19:06
Verilog数字系统设计六时序逻辑实验2文章目录Verilog数字系统设计六前言一、可控的移位寄存器是什么?二、编程1.要求:2.设计思路:3.实现代码:4.仿真测试:总结前言 随着人工智能
2021-11-30 16:36