摘要：
内容 module/block有100个feature,验证需要有1000个test,需要有计划，按照节点进行 验证策略 验证RTL code和design spec一致性 资源：VCS license/磁盘空间 验证内容：功能验证 验证结束 - test pass/coverage 验证进度 验证 阅读全文
摘要：
System Verilog进行验证是可以不综合的 发现DUT中的功能问题 预备知识：Linux/verilog/gvim System Verilog学习目录 System Verilog Testbench功能 DUT - 待测试对象，RTL代码 产生激励(generate) 驱动激励(driv 阅读全文
摘要：
目标 设计流程 验证设计文档和RTL code之间的关系 RTL code（DUT) - 可以当作是一个黑盒，DUT内部是完全不可见的 白盒验证 - DUT内部RTL完全可见 灰盒验证 - DUT内部的RTL部分可见 工具 主流EDA 设计节点 DV - 特指是功能验证，主要是system veri 阅读全文
摘要：
取消高亮显示空格和Tab gvim ~/.vimrc # 在.vimrc文件中 set nohls # shell中执行 source ~/.vimrc ./vimrc是Gvim的配置文件 Gvim新建窗口 :tabnew # 切换窗口(坐下上右切换) ctrl + w + h/j/k/l 设置链接 阅读全文
摘要：
环境建立命令与变量 综合主要的三部分：RTL\目标工艺库\约束文件 DC综合过程中timing > area,在时序满足的条件下进行面积优化 RTL一般会映射为standcell(与非门)，需要将对应的目标工艺库（target library) 如果在RTL中不止使用了target library中 阅读全文
摘要：
1.算术运算符 1.1 expr命令 expr 是 evaluate expressions 的缩写，译为“求值表达式”。Shell expr 是一个功能强大，并且比较复杂的命令，它除了可以实现整数计算，还可以结合一些选项对字符串进行处理，例如计算字符串长度、字符串比较、字符串匹配、字符串提取等, 阅读全文
摘要：
1.内置命令介绍 Shell 内置命令，就是由 Bash Shell 自身提供的命令，而不是文件系统中的可执行文件。 使用type 来确定一个命令是否是内置命令： type 命令 通常来说，内置命令会比外部命令(脚本文件)执行得更快，执行外部命令时不但会触发磁盘 I/O，还需要 fork 出一个单独 阅读全文
摘要：
微架构设计思路 ahb_slave_if中的寄存器可以在datasheet中进行描述 sd_clk - 时钟产生模块的接口描述 sd_data_fsm和sd_cmd_fsm - 状态机描述 发送时序需要遵守,并且在发送的时候需要产生CRC 接受时序需要遵守,并且要接收CRC,进行比较 FiFo中有存 阅读全文
摘要：
Mainstream Low Power techniques Low Vth - 阈值电压比较低，翻转时间小，漏电流比较大，功耗大，速度快 High Vth - 阈值电压比较高，翻转时间长，漏电流比较小，功耗小，速度慢 使用多阈值的器件，处于关键路径上的器件使用Low Vth,不在关键路径上的使用 阅读全文
摘要：
GPU max power distribution internal power and switch power - 动态功耗(时钟翻转) Leakage power - 漏电功耗（静态功耗，mos管导通的特性） clock_network - 时钟树的功耗，系统中有很多寄存器，但是时钟到达寄存 阅读全文