UVM启动shell脚本:example

文件内容如下: if [-z "需要检测的环境变量"]; then echo "U need to set ..." exit 1 else set -x export PROJECT_HOME...

2019-03-01 16:06:08

阅读数 81

评论数 0

systemverilog $cast

转载自:https://www.verificationguide.com/p/systemverilog-casting.html   SystemVerilog Casting  casting  Dynamic casts can be used to safely cast a su...

2019-02-18 17:33:56

阅读数 273

评论数 0

gvim 环境设置

配置文件:.gvimrc 内容如下: #start---------------------------------------------------------------------------------------------------------- source ~/perl_for...

2019-01-10 15:45:14

阅读数 73

评论数 0

C/C++之回调函数

本文转自:http://www.cnblogs.com/chenyuming507950417/archive/2012/01/02/2310114.html#undefined 是我所看到的讲C++ callback函数最浅显易懂的,一做记录,也做好文章要分享。 今天讨论...

2018-01-10 11:33:18

阅读数 149

评论数 0

高级验证方法学()-Mentor-笔记

1、事物级组件间一般用fifo作为通信通道 2、sv中,参数或局部参数优先于宏,这样可以减少编译的次数 3、验证方案从设计规范来,验证方案有一个问题清单,列举所有验证过程需要回答的问题,和说明如何被回答的机制的描述。此外还有一个checklist,列举所有需要回答的问题,它也是测试平台的功能规...

2017-12-13 10:28:59

阅读数 327

评论数 0

systemverilog的数据隐藏特性

分为以下几种,涉及关键字分别为:local,protected,const local:只允许类本身访问; protected:允许类本身和它的扩展类访问; const:分为两种:全局性、instance性的 其中, 全局性const:在声明时即赋值,之后不可修改; instace性const:只...

2017-11-22 15:09:49

阅读数 446

评论数 0

systemverilog 参数化类及与静态的关系

以两个例子说明参数化的类及声明静态变量时的情况: eg: program param_stack; class stack #(type T = int);   int m_cnt;   static int counter = 2;     function new;     m...

2017-11-22 10:22:22

阅读数 1457

评论数 0

“make: `run' is up to date”原因及解决办法

makefile时,目录中存在和target名称相同的同名文件时的报错信息和解决办法

2017-08-17 15:46:12

阅读数 4242

评论数 0

SystemVerilog Coding Guidelines: Package import versus `include

systemverilog中package和`include的区别

2017-08-02 10:56:46

阅读数 1330

评论数 0

ASIC仿真验证随笔

一、基础知识 1、复位信号和clk信号的搭配: 以一个简单同步低有效复位D触发器为例, intial begin clk = 0; rst = 0; #5 rst = 1; en always #1 clk = ~clk; 以上述初始化方式来看,在开始阶段,clk为低,没有上升沿...

2017-07-05 11:14:40

阅读数 287

评论数 0

formality 命令/变量的使用及各种设置

注意记录变量/命令使用过程中产生过歧义或使用不当以及比较重要的

2017-06-12 18:17:45

阅读数 1202

评论数 0

Formality Error/Debug

1、Formality在match过程中报time limit 一下内容均为运行match命令后打印的log: “ Reference design is r:/WORK/kanas_top_v2 Implementation design isr:/WORK/kanas_to...

2017-05-25 10:49:30

阅读数 910

评论数 0

Formality形式化验证脚本范本

1、验证带DFT网表:首先要disable scan logic和Bist功能 2、可以将所有的代码、网表,包括所有的子模块、顶层的全部读入,在read过程中针对top使用set_top,有关环境设置不急于读入,完成后,可以保存该阶段性为*.fss格式文件(下次restore_session该文件...

2017-05-19 16:59:12

阅读数 2964

评论数 0

lib2db的方法与问题

1、直接启动dc_shell或dc_shell-t或dc_shell -gui,首先,运行命令:read_lib “lib文件”,若提示“write_lib in dc_shell is not enable,please start new session and do enable_write...

2017-05-18 11:11:53

阅读数 2080

评论数 0

Linux记录

1、操作带空格的文件 eg:有一个Synopsys EDA的目录 cd Synopsys\ EDA 即 Synopsys\空格EDA

2017-05-12 09:42:19

阅读数 311

评论数 0

design compiler——DC

Library 1、technology lib 由代工厂提供,不同代工厂、不同工艺制程而不同,涵盖设计规则约束、运行环境设置、线载模型等等。 需要以*.db的格式读入dc。(但有时提供的事源代码形式的,可以使用dc将骑转化为db格式) 2、target lib:*.db dc优化过...

2017-05-05 19:37:06

阅读数 2546

评论数 1

python学习记录

1、range和xrange eg1: L = range(1,11) print L 打印结果: [1,2,3,4,5,6,7,8.9.10] eg2: XL = xrange(1,11) print XL 打印结果: xrange(1,11) 说明: range(m,n)会生成一个list,而...

2017-04-25 15:41:31

阅读数 192

评论数 0

C++时间延时控制

1、延时 #include #include using namespace std; /* 普通计数的方式进行延时,采用的是系统时间,并不一定是以秒为单位,eg: long wait = 0; while(wait  wait++; 并不能确定具体延时多久。 //-------------...

2017-04-05 16:35:40

阅读数 1463

评论数 0

C++关于字符、字符串的总结

1、C++将C风格字符串视为地址。 eg: char word[10]; word = “Today”; word == “MATE”; 解释:首先数组名代表的是数组的地址,其次,用引号扩起来的字符串常量表示的也是地址,所以,此次比较中,比较的是他们是否存储在相同的地址上,而不是两个字符...

2017-04-05 16:33:28

阅读数 200

评论数 0

C++指针、数组、字符串数组、cout几者关系说明

以小程序进行说明这几者之间的关系: #include int main() { char ch_array[10] = “Today”;//最好在声明时即进行初始化 int int_array[10] = {1,2,3,4,5,6};//最好在声明时即进行初始化           ...

2017-04-05 16:31:46

阅读数 506

评论数 0

提示
确定要删除当前文章?
取消 删除
关闭
关闭