电路描述

基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论，并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷，重点研究如何在

2024-05-09 5 电路描述

2015-05-17 57 电路描述

2013-12-31 143 电路描述

PS2接口键盘扫描码截取电路，VHDL程序。该程序能够捕获PS2键盘按下的按键值，并将其扫描码转换成ASCII码。

2016-03-20 108 电路描述

FPGA是英文Field Programmable Gate Array的缩写，即现场可编程门阵列。作为专用集成电路(ASIC)领域中的一种半定制电路产品，它既解决了定制电路的不足，又避免了原有可编程逻辑器件门电路资源有限的缺点。因此，FP...

2023-09-27 10 电路描述

2017-07-27 45 电路描述

2017-04-06 141 电路描述

2013-12-25 163 电路描述

电路描述 热门资料