2020 年 2月 23 日随笔档案 - 笑着刻印在那一张泛黄

2020年2月23日

摘要：参考博客：https://www.cnblogs.com/guolongnv/articles/6906929.html 1、基本概念 1）？表示z，而不是“dont care” 2）区分： case语句的表达式的值有4中情况：0、1、z、x。4种是不同的，故表达式要严格的相等才可以操作分支语句。阅读全文

posted @ 2020-02-23 10:47 笑着刻印在那一张泛黄阅读(4053) 评论(0) 推荐(1)

modelsim使用命令

摘要： 1、安装先取消文件 mgls64.dll 的只读属性把MentorKG.exe和patch_dll.bat一起拷贝到modelsim安装目录的win32或win64下（modelsim一定要在这个目录下）运行patch_dll.bat，产生license后，放到任意目录下设置环境变量MGL 阅读全文

posted @ 2020-02-23 10:26 笑着刻印在那一张泛黄阅读(485) 评论(0) 推荐(0)

前仿后仿与形式验证

摘要： https://blog.csdn.net/fengxiaocheng/article/details/103914590/ 阅读全文

posted @ 2020-02-23 10:24 笑着刻印在那一张泛黄阅读(200) 评论(0) 推荐(0)