模式匹配及正则表达式模式匹配模式匹配的特殊字符字符集模式匹配操作符锚位绑定操作符 =~模式串中的变量内插捕获变量用正则表达式进行文本处理文本替换split操作符join函数列表上下文中的m//在命令行执行Perl模式匹配和正则表达式的例子Perl模式匹配模式是指在字符串中寻找特定序列的字符或者说是一个匹配（或不匹配）某字符串的模板，模式由反斜线包含。而一个** 正则表达式**，就是 用某种模式去匹

SoC设计流程一、SoC设计的特点二、软硬件协同设计流程2.1 系统需求说明2.2 高级算法建模与仿真2.3 软硬件划分过程2.4 软硬件同步设计三、基于标准单元的SoC芯片设计流程一、SoC设计的特点一个完整的SoC设计包括系统结构设计（也称为架构设计），软件结构设计和ASIC设计（硬件设计）。SoC设计与传统的ASIC设计最大的不同在于以下两方面：SoC设计更需要了解整个系统的应用，定义出合理

有限状态机FSM   有限状态机-Finite State Machine，简写为FSM，是表示有限个状态及在这些状态之间的转移和动作等行为的数学模型状态机的两种形式Moore状态机：时序逻辑输出只取决于当前状态的这一类状态机。此时，其输出表达式为  输出信号=G（当前状态）；时钟同步的Moore状态机结构如下图所示，从图中可以看...

形式验证简介通过纯数学方法分析两个网表的逻辑是否完全等价一种静态比较，会遍历所有的组合保证逻辑等价性，不需要动态激励比仿真可靠性高！！！仿真覆盖率低，且后仿非常慢。常用工具：Synopsys: FormalityCandence: LEC形式验证在设计流程中的位置：1、在综合后：保证综合过程没有出错，逻辑正确2、后端布局布线后：使用综合网表和和布局布线后网表进行比较（上图位置不正确，不用再STA后