1_IC设计验证基础
该栏主要介绍IC前端相关的工具,环境,脚本等。
爱吃桃子的ICer
这个作者很懒,什么都没留下…
展开
-
[TCL]1.Tcl基础(1)
解释执行的理解成”逐行执行“;有效命令行:cmd+string。格式化的数据格式类似于Questa的UCDB文件。(1)Tcl是解释执行,而非帮助编译的语言。3.置换(substitution)(6)break与continue。0.覆盖率驱动验证(CRV)简述。(5)双引号和话括号。(2)while命令。原创 2024-02-26 01:28:03 · 106 阅读 · 0 评论 -
[makefile]6_make install的实现
tail 命令用于显示文件的末尾内容,默认显示文件的最后 10 行。通常情况下,tail 命令用于实时查看日志文件。echo中>表示写入文件,并将文件内所有文字替换,也就是说会先清除文件内容再写入。chmod a+x a.txt 等价于 chmod +x a.txt。给所有用户给予a.txt文件可执行权限。而>>则是在末行追加一行新的到文件中。原创 2023-11-14 00:01:53 · 181 阅读 · 0 评论 -
[makefile]5_条件判断_循环_自定义函数
A:=123B:=$(A)#自己的函数名echo $(0)#传参echo func1endefA:=456all:echo $(A)A:=7893.示例打印A的是最终值。原创 2023-11-13 00:56:26 · 242 阅读 · 0 评论 -
[makefile]4_通用部分做公共头文件_shell命令
(1)"="对变量进行赋值时,解析该变量的时候,该变量的值等于最后一次赋值时的值,而不是当前位置时该变量的值。所以你看变量引用的值时不能只往前面看,还要往后面看。用":=“来赋值的,则是就地直接解析,只用往前看即可,和我们在C语言里的”="逻辑上是一样的。即只受当前行及之前的代码影响,而不会受后面的赋值影响。(1)之前的include方式也算是一种嵌套,嵌套就是一个makefile中调用别的makefile。原创 2023-11-13 00:52:12 · 43 阅读 · 0 评论 -
[makefile]3_运行流程_动/静链接库
与动态库相比,静态库可以不用部署(己经被加载到程序里面了),而且运行时速度更快(因为不用去加载)。(5)产生库文件需要用到 -fPIC -shared :g++-shared-fPIC SoTest.cpp -o libSoTest.so。打个比方,你要出去玩,在路上要走三天三夜,动态库就是,你背着一袋粮食上路,饿了就吃一口静态库就是,你吃饱了出发,不用带粮食。(2)好处是程序可以和库文件分离,可以分别发版,然后库文件可以被多出共享。(7)编译和运行都得指定库文件(.so)(3)包含库文件进行编译和运行。原创 2023-11-13 00:46:56 · 140 阅读 · 0 评论 -
[makefile]2_make变量_伪目标_模式匹配
make变量_伪目标_模式匹配原创 2023-11-13 00:37:47 · 33 阅读 · 0 评论 -
[makefile]1_make格式_编译流程
make默认在当前目录中寻找GUNmakefile、makefile、Makefile 的文件作为make的输入文件。依赖:指执行当前目标所要依赖的先项,包括其他目标,某个具体文件或库等,一个目标可以有多个依赖。命令:该目标下要执行的具体命令,可以没有,也可以有多条,多条时每条命令一行。-s 只执行命令,但不显示具体命令,此处可在命令中用@符抑制命令输出。没有指定目标时,默认使用第一个目标,如果指定,则执行对应的命令。-n 只输出命令,但并不执行,一般用来测试。目标:一般是指要编译的目标,也可以是个动作。原创 2023-11-13 00:29:44 · 36 阅读 · 0 评论 -
1_vim/gvim操作
IC前端必须掌握的gvim/vim工具原创 2022-10-12 23:38:42 · 77 阅读 · 0 评论 -
IC设计_怎么保证网表的正确性
形式验证+静态时序分析原创 2019-06-14 14:23:54 · 1032 阅读 · 0 评论