2020-08-11

IC验证学习问题记录

前言 “由于博主是学习验证的新手，此篇博客主要针对博主学习过程中遇到的一些重要的基础概念和难点，开此篇博客的目的希望在学习过程中遇到问题时能及时记录并和大家一起分享，博主会不定时更新。”

数组

1. 定宽数组
   1. 合并数组
   2. 非合并数组 连续的Bit集合，可以作为整体访问
2. 动态数组
   1. 仿真时动态分配空间；必须调用new[]函数。系统函数$size返回数组宽度,delete删除元素
   2. 声明常数数组又不想统计元素个数；
3. 队列
   1. 异同 都可以通过索引访问 队列可以在任何地方删除或增加元素
   2. 声明带有[$]，0 - $。注意不要使用new
   3. 操作q.insert(1,2);delete;push_front，pop_front; push_back, pop_back;
4. 关联数组
   1. 采用hash表的形式存放
   2. 采用在方括号中放置数据类型的方式声明，如int sw[string];