摘要:
内容 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 - 时钟树的功耗,系统中有很多寄存器,但是时钟到达寄存 阅读全文