01_IC设计流程及Linux命令介绍

Linux操作系统

文件结构


文件系统规定了如何在存储设备上存储数据以及如何访问数据 在Linux中，一切都是文件，文件组织成目录，目录被组织成一种层 次型的树状结构，以一个根目录开始，所有的其他目录最终都是从 根目录起源的。 基本文件系统类型有普通文件(-)、目录文件(d)、链接文件(l)和特殊文 件等
$ date (Command) $ uname -a (Command and option) $ uname -rpns (Command and multiple options) $ uname -r -p -n -s (Command and multiple options)
常用命令
目录操作命令
文件操作命令
4 拷贝文件
命令：cp (copy) 格式：cp [option] filename1 filename2 cp [option] filename... directory cp -r directory1 directory2 功能：把一个文件的全部内容拷贝到另一个文件，也可将一个 或多个文件拷贝 到另一个目录中。 选项：-i 按提示进行拷贝文件。 -r 对子目录下所有文件进行拷贝。 注释：当filename1拷贝到filename2时，若filename2已经存在， 则filename2 的内容将被filename1覆盖。 例如：% cp filename1 filename2
Linux操作系统

Linux通常可以分为三个主要部分：内核、shell、文 件结构


内核是Linux操作系统的核心，负责管理所有的硬件设备 Shell是用户和内核之间的接口，它从用户那里接收命令 并将命令送到内核执行 文件结构负责组织文件在磁盘等存储设备上的存储方式
SHELL 文件系统 计算机 资源 内核 用户程序
文件操作命令
5 移动文件或文件改名
命令：mv (move) 格式：mv filename1 filename2 mv filename... directory mv direction1 directory2 功能：改变文件或目录的名子，或把一些文件移到另 一目录下。 注释：当filename1更名为filename2时，若filename2已 经存在，则filename2的内容将被filename1覆盖 例如：% mv filename1 filename2
Synopsys公司的 PrimeTime是一种具有 签收品质（sign-off quality）的STA工具。
形式化验证工具
形式化验证方法不 需要仿真向量，通 过数学方法比较实 现与参考是否等价 。将形式化验证和 静态时序分析这两 种静态验证方法结 合起来，可以大大 提高验证效率。
Synopsys的Formality是高性 能、高速度的全芯片形式验 证与等效性检查工具。
目录操作命令
4 删除目录
命令：rmdir (remove directory) 格式：rmdir directory_name 功能：删除不存在文件的子目录名。 注释： (1) 删除子目录时，要求被删除的目录中不存在 文件或子目录，否则无法删除。 (2) 若被删除的目录中有文件或子目录，请参考 命令rm -r directory_name。 例如：% rmdir directory
代码质量分析工具有： Synopsys的 LEDA Atrenta的 SpyGlass
仿真与数字纠错工具
仿真工具有很多， 如Cadence的NC 、Synopsys的 VCS/VSS、 Mentor的 Modelsim（新版本 为QuestaSim）等 ，都是功能强大的 仿真工具。
数字纠错工具主要 有SpringSoft的 Debussy（新版本 为Verdi）。
常用操作命令

Linux有数百条独立的命令 ,多数Linux命令有多个选项，数 百条命令可以组合成数千种可执行的操作
中括号表示选项和参数可有可无 命令名 command [options] [arguments] 命令选项：表示对命令的要求 命令参数：表示命令作用的对象
For example:
数据形式与工具
Matlab，C/C++ SC/SV/C/C++ VHDL，Verilog SystemVerilog，e 综合数据库 SystemVerilog，e
Cadence SPW Synopsys CoCentric 文本编辑器 Synopsys Leda/Atrenta SpyGlass VCS/VSS/NC/Questasim Synopsys DC、PT Cadence PKS/BuildGates MAGMA Blast RTL VCS/VSS、NC、QuestaSim Synopsys Astro、ICC Hercules，Jupiterdp Star-RCxt， PrimePower/power compiler PT、formality，LEC
Linux系统操作简介

Hale Waihona Puke Baidu
Linux操作系统 常用操作命令 Vi编辑器
Linux系统操作简介

EDA工具稳定运行的平台当属Unix和Linux。业界 普遍认为，随着Linux集群技术的快速发展，全 球EDA工具正在从过去的Unix平台等转向Linux平 台。
Linux是一种开源操作系统，与UNIX的风格非常相像， 但Linux系统的核心代码已经全部重新编写。“Linux之 父”芬兰人李纳斯· 托沃兹（Linus Torvalds）在微型 “Linux 之父” Linus Torvalds UNIX操作系统 Minix 的基础上开发了 Linux（Linus’s Unix）内核，通过黑客的补丁将其不断改善，打破了长 久以来传统商业操作系统的技术垄断，为计算机技术的 发展作出了巨大贡献。
目录操作命令
2 显示目录
命令：pwd（print working directory） 格式：pwd 功能：显示出用户当前工作目录的全路径名。 例如：% pwd
3 建立目录
命令：mkdir（make directory） 格式：mkdir directory_name 功能：建立新目录 例如：% mkdir directory %mkdir -p dir/dir/……/dir/dir
版本管理工具
在芯片开发流程中 ，文档、代码、网 表、工具配置脚本 、工艺库甚至EDA 工具本身都在不断 变更，版本控制的 重要性日益凸显。
常用的版本管理 工具有CVS、 Subvision等，都 包括windows和 linux等版本。
课程安排
实验要求 手工撰写 下次提交
考核方式 平时成绩20% 实验报告40% 期末考试40%
逻辑综合工具
通常使用的EDA工具 包括Synopsys公司的 Design CompilerTM、 Cadence公司的 BuildGates®（原属 Ambit Design，后被 Cadence收购）和 Encounter RTL Compiler、Magma公 司的Talus RTL等。
逻辑综合用于完成 电路从RTL级描述到 门级网表的转换。
SystemVerilog，e
物理
测试（Test）
主流EDA工具
系统级验证工具 代码质量分析工具 仿真与数字纠错工具 逻辑综合工具 静态时序分析工具 形式化验证工具 P&R工具 物理验证工具
版本管理工具
代码质量分析工具
代码质量分析用于 进行RTL级的设计 规则检查，分析 RTL代码是否能够 适应后续的流程， 检查。包括状态机 的分析、竞争和冒 险检查、设计重用 、综合与可测性以 及用户自定义的检 查等
物理设计工具 主要包括平面 布局工具、布 局布线工具等 。
物理验证工具
物理验证工具包 括设计规则检查 、寄生参数提取 等工具
主要有： Synopsys的StarRCXT、Hercules
Cadence的Assura、 Dracula、Diva
Mentor的Calibre
功耗分析工具
功耗越来越成为设计者关注的重点。
文件操作命令
1 列出文件目录
命令：ls (list) 格式：ls [option] directory_name 功能：列出指定目录中的文件名和子目录名。 选项：-a 列出所有文件，包括以点开头的隐含文件。 -l 按长格式列出文件名，包括文件类型标识，权限，链接数，文件主名， 文件组名，字节数，日期。 -r 列出包括子目录下所有文件 -t 按文件生成日期排序。 例如：% ls -la 第一个字母表示文件种类，可以是以下几种情况： d 为目录文件 l 为链接 b 为块文件 c 为字符型文件 - 为普通文件 后面9个字母分别表示文件主、同组用户、其他用户对文件的权力，用r 表示可读，w 表示可写，x 表示可执行。
Cadence的Verplex Logic Equivalence Checker也 是享誉业界的逻辑等价性 验证工具。
还有Mentor的 FormalPro等 。
P&R工具
物理设计工具主要有： Cadence的SoC Encounter、Design Planner、CT-Gen，
Synopsys的Astro（新 版本为IC Compiler）， Magma 的BlastFusion 等。
Synopsys公司的Power Compiler提供简便的功耗优化能力，能 够自动将设计的功耗最小化，提供综合前的功耗预估能力，让设 计者可以更好的规划功耗分布，在短时间内完成低功耗设计。
Power Compiler嵌入Design Compiler/Physical Compiler之上 ，是业界唯一的可以同时优化时序、功耗和面积的综合工具。
FPGA开发流程框图
数字IC设计的流程
逻辑
流程
需求分析（Requirement） 算法设计（Algorithm Optimization） 结构设计(Architecture Exploration) RTL设计（RTL Design） RTL验证（RTL Verification） 综合（Synthesis） 门级验证（Gate-level Verification） 后端设计（Back-end Design） 后端数据库 电路参数提取（Circuit Extraction） 版图后仿真（Post-layout Simulation） 生产（Manufacture）
文件操作命令

2 显示文件内容
命令：cat 格式：cat filename 功能：显示出文件的内容。 注释：当文件内容在屏幕上滚动显示时，可按 Ctrl+S键屏幕滚暂停，按Ctrl+Q键继续显示。 例如：% cat filename
文件操作命令
3 按屏幕显示文件内容
命令：more 格式：more filename 功能：按屏幕一屏一屏显示出文件内容 选项： 注释：在屏幕显示过程中有功能键。空格键 继 续下一屏的输出；回车键看下 一行的输出； q键 跳出more状态；/字符串 查旬字符串所 在处；a键返回到上一屏。 例如：% more filename
目前DC可称作ASIC业界最流行的综合工具和实际标准
静态时序分析工具
静态时序分析技术是 一种穷尽分析方法， 可以提取整个电路的 所有时序路径，且不 依赖于激励，运行速 度很快，占用内存很 少，适合进行超大规 模的片上系统电路的 验证，可以节省多达 20%的设计时间，但 是静态时序分析存在 的问题在于不了解电 路的动态行为。
Linux操作系统

内核 内核是控制计算机硬件的核心程序，实现了Linux的多用 户、多任务机制 Linux内核版本有两种：稳定版和开发版

主版本号.次版本号.修正号 次版本号是偶数，稳定版；若是奇数，开发版
Linux操作系统

shell


Shell提供了内核与用户之间的交互界面，可以称之为一个 解释器，负责解释用户输入的命令然后发送给内核 用户可以用shell来启动、挂起、停止甚至是编写一些程序 目前流行的shell有ash、bash、ksh、csh、zsh等
1 改变目录
命令：cd（change directory） 格式：cd directory_name 功能：改变当前工作目录 注释：目录名选项有: (1) 目录名，转到当前目录下的子目录。 (2) .. 表示转到当前目录的父目录。 (3) / 表示转到根目录。 (4) 没有选项时，转到用户的主目录。 例如：% cd directory