前端學習 7:EDA 工具

目錄

EDA 工具

Design Ware

Synopsys CoreTools 套件

VCS

verdi

Design Compiler


EDA 工具

常用的EDA工具主要來自三家公司:Synopsys、Cadence和Mentor(已被Siemens收購)。EDA,全稱電子設計自動化(Electronics Design Automation),在數字、模擬和混合集成電路的各個開發階段都發揮著重要作用。

🌟 RTL功能仿真:VCS+Verdi套裝或ModelSim是常用的功能仿真工具。VCS用于仿真,Verdi用于波形debug,在Linux下非常好用;ModelSim則兼具仿真和波形debug功能,在Windows下常用。功能仿真階段不區分FPGA或ASIC,工具通用;這些工具也可以進行后仿,即動態時序仿真。

形式驗證: Conformal ,??邏輯等效性檢查(Logic Equivalence Checking, LEC)工具??,屬于形式驗證的核心工具。常用的sign-off工具 :Primetime,

🌟 邏輯綜合:Synopsys的Design Compiler(DC)是常用的邏輯綜合工具。通常使用TCL腳本(工具命令語言),網上有豐富的相關資料。綜合階段還可以在工具內進行timing等分析,但結果不如PT準確。(RTL 轉成網表)

可測性設計:Tessent,

布局布線:Synopsys的ICC/ICC2是常用的布局布線工具,功能強大,可以根據用戶的floorplan自動完成布局優化和布線優化。工具還支持timing、DRC、LVS檢查等功能,但不是sign-off工具。

額外需要會的:

1、Tcl,Perl腳本開發

2、SOC頂層模塊 (時鐘/復位/電源管理/低功耗/管腳復用)的設計

3、一些隱藏的前端流程:

Lint(代碼規范性檢查,工具?Synopsys Spyglass, RTL編碼完成后立即運行)、

CDC (跨時鐘域檢查,??工具?Synopsys Spyglass CDC。功能與目的??

  • ??同步性驗證??:確保跨時鐘域信號傳輸通過同步器(如兩級觸發器)處理,避免亞穩態。
  • ??收斂性檢查??:檢測多信號跨時鐘域匯合時的時序沖突(如glitch)。
  • ??復位同步??:驗證復位信號在不同時鐘域的同步邏輯。)、

?功耗分析 ??常用工具??:Synopsys PrimeTime PX(邏輯綜合后)Cadence Voltus(布局布線后)。??輸入文件??:門級網表、工藝庫(.db)、寄生參數文件、開關行為文件(SAIF/VCD))?

SDC 是 ??時序約束的行業標準格式??,用于定義設計的時序、面積和功耗目標,指導綜合(如Design Compiler)、布局布線(如IC Compiler)等工具優化電路。核心功能??:?約束時鐘(頻率、不確定性、延遲)。定義輸入/輸出時序(setup/hold)。指定設計規則(最大電容、轉換時間)。支持多電壓域和低功耗設計?

Design Ware

Synopsys公司提供的集成電路設計IP核庫和驗證工具集合,廣泛應用于SoC/ASIC開發中,涵蓋邏輯、算術、存儲等模塊,可優化綜合結果并縮短設計周期?。

?DesignWare的核心功能與特點?

  1. ?IP核庫多樣性?:包含超過140個獨立于工藝的已驗證模塊,如邏輯單元、算術運算器、存儲器及專用元件(如8051微控制器、PCI-X、USB2.0等)。??1
  2. ?與Design Compiler集成?:通過Synopsys綜合工具優化設計,顯著提升性能并減少開發時間。??1
  3. ?仿真模型支持?:提供17萬種器件功能級仿真模型,覆蓋FPGA、CPU(ARM/MIPS/PowerPC)及各類總線協議(PCI-X/AMBA/Ethernet等)。??

Synopsys CoreTools 套件

是一組專注于 ??IP核封裝、集成與驗證?? 的工具集,旨在提升基于IP的SoC設計效率與可靠性。以下是其核心組件及功能詳解:

coreConsultant??? √?

指導單個IP核的配置、驗證與實現,生成IP-XACT XML文件,支持圖形/命令行操作。

??典型場景??:配置AMBA AHB/AXI總線IP參數,生成定制化RTL和測試環境。

coreBuilder???:用于IP核的標準化封裝,支持多抽象層次(RTL、事務級模型等)的IP描述,并生成符合 ??IP-XACT?? 標準的元數據文件。

特點??:提供圖形化或命令行配置界面,支持設計意圖捕獲與質量流控制。生成?coreKit?數據庫,便于后續工具調用。

??coreAssembler???:用不上。自動化IP子系統集成,生成互連邏輯、配置RTL及驗證環境(如測試平臺)。

??優勢??:支持混合語言設計(Verilog/VHDL),通過TCL接口實現流程定制。與Galaxy平臺集成,自動生成物理實現腳本,減少時序收斂時間。

VCS

vcs 的兩步流程將仿真分為 ??編譯(Compilation)?? 和 ??仿真(Simulation)?? 兩個獨立階段,適用于純Verilog/SystemVerilog設計:

?編譯階段??:?vcs [compile options] Verilog_files

VCS構建實例層次結構并生成二進制可執行文件? simv.??該二進制可執行文件隨后將用于模擬。(使用simv 跑 這個仿真)

舉例:vcs -v?lib_file.v -y ./lib_dir +libext+.v +incdir+./include design.v

-v filename?指定庫文件;

-y directory?庫目錄;

+incdir+目錄+:頭文件搜索路徑

+libext:包含+libext編譯時選項,以指定VCS在這些目錄中查找 文件的擴展名。

??其他選項??:

-full64; 使能64位模式下的編譯和仿真;

-file filename; 指定一個包含文件列表和編譯時選項的文件

-verdi; 開啟Verdi

-R;? 編譯后立即仿真;在VCS鏈接后立即運行可執行文件。

-parameters filename ;? 將文件中指定的參數值更改為文件中指定的值

-q ; 靜音模式;會抑制一些消息,例如關于C編譯器VCS正在使用的、VCS正在解析的源文件、頂級模塊或指定的時間尺度相關的消息。
-V ; 詳細模式;編譯器驅動程序在運行C編譯器、匯編器和鏈接器時打印它執行的命令。

-l compile.log:編譯的日志記錄

+define+USETHIS ;? 宏在源文件中使用'ifdef 指令。如果未使用+define/則代碼中的else部分優先。

??仿真階段??運行?simv?

執行功能驗證或時序分析,支持Interactive Mode (調試)或Batch Mode(回歸)模式。

交互模式?Interactive Mode?
交互方式在設計周期的初始階段應用,主要是使用GUI或通過命令行調試。要使用GUI調試,可以使用Verdi,而要通過命令行界面調試,則可以使用統一命令行界面(UCLI)。使用交互模式,在編譯時要使用?-debug_access(+<option>)?

回歸模式 batch mode

設計后階段,僅需進行最低限度的調試,使用 此模式可以實現更好的性能。

命令??simv (對的!就這一個 simv 就夠了 )

模式????啟動方式????用途??
??交互模式??simv -ucli?或?simv -verdi動態調試(UCLI命令行/Verdi圖形界面)
回歸模式?simv自動化回歸測試,性能最優
verdi

交互模式下使用Verdi??

?simv -gui

后 處理模式下使用verdi?

verdi -ssf xxxx.fsdb?

Design Compiler

一種由Synopsys公司開發的電子設計自動化(EDA)工具,主要用于將硬件描述語言(如Verilog或VHDL)編寫的高層次電路設計轉換為優化的門級網表。

主要功能: 該工具能夠進行邏輯綜合、設計約束設置、時序分析等操作,以滿足設計的性能和面積要求。

Design Compiler (二)——DC綜合與Tcl語法結構概述_Design Compiler-CSDN專欄

dc_shell:?DC以命令行的格式啟動:$dc_shel,需要知道一些tcl的簡單語法。

.tcl 是個腳本

綜合后需要查看timing、area 符不符合需要;

綜合后的多個文件需要寫到一個ddc 文件里,或者一個netlist

本文來自互聯網用戶投稿,該文觀點僅代表作者本人,不代表本站立場。本站僅提供信息存儲空間服務,不擁有所有權,不承擔相關法律責任。
如若轉載,請注明出處:http://www.pswp.cn/diannao/94679.shtml
繁體地址,請注明出處:http://hk.pswp.cn/diannao/94679.shtml
英文地址,請注明出處:http://en.pswp.cn/diannao/94679.shtml

如若內容造成侵權/違法違規/事實不符,請聯系多彩編程網進行投訴反饋email:809451989@qq.com,一經查實,立即刪除!

相關文章

windows有一個企業微信安裝包,腳本執行并安裝到d盤。

以下是將本地已有的企業微信安裝包安裝到D盤的完整PowerShell腳本&#xff0c;包含詳細的錯誤處理和進度反饋&#xff1a; <# .SYNOPSIS使用本地企業微信安裝包安裝到D盤 .DESCRIPTION自動檢測本地安裝包&#xff0c;靜默安裝到指定目錄支持.exe和.msi格式安裝包 #># 強制…

[LVGL] 布局系統 lv_flex, lv_grid | 輸入設備 lv_indev | union

第五章&#xff1a;布局系統&#xff08;lv_flex, lv_grid&#xff09; 歡迎回來&#xff01; 在第四章&#xff1a;樣式&#xff08;lv_style&#xff09;中&#xff0c;我們掌握了如何通過色彩、字體和圓角等特性美化部件。當界面元素具備視覺吸引力后&#xff0c;如何優雅…

Linux中的mkdir命令

基本語法mkdir 命令的基本語法如下&#xff1a;mkdir [選項] 目錄名創建單個目錄要創建一個新目錄&#xff0c;只需在 mkdir 后跟上目錄名稱。例如&#xff1a;mkdir new_folder這會在當前工作目錄下創建一個名為 new_folder 的目錄。創建多個目錄可以一次性創建多個目錄&#…

基于大數據的美食視頻播放數據可視化系統 Python+Django+Vue.js

本文項目編號 25003 &#xff0c;文末自助獲取源碼 \color{red}{25003&#xff0c;文末自助獲取源碼} 25003&#xff0c;文末自助獲取源碼 目錄 一、系統介紹二、系統錄屏三、啟動教程四、功能截圖五、文案資料5.1 選題背景5.2 國內外研究現狀 六、核心代碼6.1 查詢數據6.2 新…

微信小程序精品項目-基于springboot+Android的計算機精品課程學習系統(源碼+LW+部署文檔+全bao+遠程調試+代碼講解等)

博主介紹&#xff1a;??碼農一枚 &#xff0c;專注于大學生項目實戰開發、講解和畢業&#x1f6a2;文撰寫修改等。全棧領域優質創作者&#xff0c;博客之星、掘金/華為云/阿里云/InfoQ等平臺優質作者、專注于Java、小程序技術領域和畢業項目實戰 ??技術范圍&#xff1a;&am…

(五)系統可靠性設計

2024年博主考軟考高級系統架構師沒通過&#xff0c;于是決定集中精力認真學習系統架構的每一個環節&#xff0c;并在2025年軟考中取得了不錯的成績&#xff0c;雖然做信息安全的考架構師很難&#xff0c;但找對方法&#xff0c;問題就不大&#xff01; 本文主要是博主在學習過程…

Shuffle SOAR使用學習經驗

Shuffle SOAR 1. 基礎操作與配置1.1 環境搭建與系統要求1.1.1 硬件與操作系統要求Shuffle SOAR 平臺作為一款開源的安全編排、自動化與響應&#xff08;SOAR&#xff09;工具&#xff0c;其部署方式靈活&#xff0c;支持云端和自托管兩種模式。對于自托管部署&#xff0c;官方推…

騰訊云 EdgeOne 產品分析與免費套餐體驗指南

本文圍繞騰訊云 EdgeOne 展開&#xff0c;全方位介紹它的核心能力、免費套餐內容&#xff0c;以及如何快速上手、監控和排查常見問題&#xff0c;幫助個人開發者和中小企業在不產生額外成本的前提下體驗高性能的邊緣加速與安全防護。 一、產品概述 EdgeOne 定位 一體化云服務平…

npm ERR! Unsupported URL Type “workspace:“: workspace:./lib

如下 npm install npm ERR! code EUNSUPPORTEDPROTOCOL npm ERR! Unsupported URL Type "workspace:": workspace:./libnpm ERR! A complete log of this run can be found in: D:\IDEA\nodejs\node_cache\_logs\2025-08-06T08_21_32_592Z-debug-0.log原因及解決 pac…

微積分: 變化與累積

微積分,這門研究變化與累積的數學分支,其核心思想竟與東方哲學中"易"的概念不謀而合。《易經》有云:“易有太極,是生兩儀”,而微積分正是通過"微分"與"積分"這對辯證統一的操作,揭示了世間萬物變化與永恒的奧秘。 #mermaid-svg-UjO6qqMm0h…

web-vue工作流程

接續bmcweb流程。 當登錄openbmc web頁面后,瀏覽器會根據index.html中的js文件中的routes信息,自動獲取信息,比如當前的網絡設置信息、Datetime時區時間信息等。 以獲取網絡配置信息為例: 瀏覽器從app.js獲取到settins->network的route:”/settings/network”,加載對應…

全球化2.0 | 泰國IT服務商攜手云軸科技ZStack重塑云租賃新生態

在全球數字化轉型不斷加速的今天&#xff0c;泰國企業對于高質量云服務的需求日益旺盛。作為深耕本地市場逾二十年的行業領先IT服務商&#xff0c;泰國IT服務商不僅覆蓋了IT系統、軟件、硬件及網絡等多個領域&#xff0c;還持續引領當地技術服務創新。近期&#xff0c;該泰國IT…

一文搞懂Hive臨時表操作秘籍

Hive 臨時表&#xff1a;數據處理的得力助手 在大數據處理的廣闊領域中&#xff0c;Hive 憑借其強大的數據倉庫功能&#xff0c;成為了眾多數據分析師和開發者的得力工具。Hive 提供了類似 SQL 的查詢語言 HiveQL&#xff0c;讓我們能夠方便地對存儲在 Hadoop 分布式文件系統&a…

瞬態吸收光譜儀的基本原理

目錄 1. 基態與激發態 2. 時間上的動力學信息 3. pump-probe探測技術 4. 時間延遲和同一光源 5. 延時線和OPA 6. 差分信號 7. 斬波器 原視頻鏈接&#xff1a;瞬態吸收光譜儀的基本原理_嗶哩嗶哩_bilibili 1. 基態與激發態 當光照射在物質上時&#xff0c;組成物質的微觀…

迭代器與生成器:Python 中的高效數據遍歷機制

一、迭代器和生成器的基本概念 1. 迭代器的定義和工作原理 &#xff08;1&#xff09;迭代器的概念 迭代器&#xff08;Iterator&#xff09; 是 Python 中一種支持逐個訪問元素的對象&#xff0c;它遵循 迭代器協議&#xff08;Iterator Protocol&#xff09;&#xff0c;即實…

Java 發送 HTTP POST請求教程

Java 發送 HTTP POST 請求的方法使用 HttpURLConnection&#xff08;原生 Java 支持&#xff09; 創建一個 HttpURLConnection 對象&#xff0c;設置請求方法為 POST&#xff0c;并寫入請求體數據。以下是一個簡單示例&#xff1a;import java.io.OutputStream; import java.ne…

計算機英語詳細總結

計算機英語作為信息技術領域的專用語言&#xff0c;融合了專業術語、縮寫、行業表達及技術文檔規范&#xff0c;是學習編程、從事 IT 工作的核心工具。以下從核心分類、應用場景、學習方法三方面詳細梳理&#xff1a;一、核心術語分類與高頻詞匯1. 編程語言與語法基礎基礎概念&…

「日拱一碼」045 機器學習-因果發現算法

目錄 基于約束的方法 (Constraint-based) 基于評分的方法 (Score-based) 基于函數因果模型的方法 (Functional Causal Models) 基于梯度的方法 (Gradient-based) 因果發現是機器學習中一個重要的研究方向&#xff0c;它旨在從觀測數據中推斷變量之間的因果關系 基于約束的…

S7-1200 串行通信介紹

S7-1200 串行通信S7-1200支持的串行通訊方式點對點&#xff08;PtP&#xff09;通信Modbus 主從通信USS 通信名稱CM 1241 RS232CM 1241 RS422/485CB 1241 RS485訂貨號6ES7241-1AH32-0XB06ES7241-1CH32-0XB06ES7241-1CH30-1XB0通訊口類型RS232RS422/RS485RS485波特率(bps)300 ;6…

達夢包含OR條件的SQL特定優化----INJECT-HINT優化方法

Time:2025/08/07Author:skatexg應用迭代發版須執行如下動作 1、按目標需求全面壓力測試&#xff0c;優化潛在慢SQL或設置特殊優化參數(如&#xff1a;OPTIMIZER_OR_NBEXP) 2、達夢數據庫有數據導入&#xff0c;必須收集統計信息達夢使用SF_INJECT_HINT系統函數對指定SQL增加HIN…