- 博客(3)
- 收藏
- 关注
RSS订阅原创 NuSMV检测实例（Peterson算法）
peterson算法的verilog实现详见另一篇博客peterson算法转换为NuSMV语法表示，代码如下：#主模块MODULE main VAR #标签定义 VAR turn : boolean; #礼让标志turn interested : array 0..1 of boolean; #期望标志interested P0 : process user(FALSE...
2019-08-25 22:56:03
2001
2
原创 Peterson算法的Verilog实现
1. 概念Peterson算法是一种实现互斥锁的并发程序设计方式，保证了两个进程真正实现互斥进入关键区域。2. 方式通过设置两个标志来达到互斥的目的。3. verilog代码.//peterson.v: Model of Peterson's algorithm for mutual exclusion of two processes.typedef enum {L0, L1, L2...
2019-08-25 22:00:36
406
原创 Cygwin与NuSMV的安装与使用
Cygwin下安装NuSMV1. Cygwin安装与环境配置2. NuSMV安装与使用1. Cygwin安装与环境配置本步骤参考博文Win下安装cygwin由于NuSMV只能在Linux环境下使用，为了能在windows上操作，需要下载cygwin平台。首先去cygwin官网( https://www.cygwin.com/)下载安装包。(注意下载的版本位数)点击下载的安装包，进行安装...
2019-08-18 17:33:32
819
6
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人