逻辑实现

逻辑实现技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。

资源总数
500

逻辑实现 全部资料 500 份

针对安全协议一阶逻辑模型不能够给出易于理解的攻击序列的问题,对安全协议一阶逻辑模型进行扩展,对逻辑推理中的规则及合一化操作进行分类,给出操作置换规则,在此基础上开发能对攻击进行重构的协议验证原型

2024-01-09 5 逻辑实现

Nios 的用户定义接口逻辑实例 有许多人问我使用 Nios 的用户定义接口逻辑怎么用,想了几天决定设计一个实例来说明。该例为一个使用 user to interface logic 设计的 PWM 实例,其中包括三个文件: &n...

2013-11-15 95 逻辑实现