1. 首页
  2. 课程学习
  3. 嵌入式
  4. 针对同步时序电路VHDL设计的有效模型判别器VERIS

针对同步时序电路VHDL设计的有效模型判别器VERIS

上传者: 2022-07-15 20:16:50上传 RAR文件 44.77 KB 热度 5次

介绍了一个针对同步时序电路VHDL设计的性质验证的解决方案——一个有效的符号模型判别器VERIS.

下载地址
用户评论