|
本文選自知識星球。整個Innovus Timing相關(guān)教程分為下面三個部分，這里分享的是第一部分，其他的部分在知識星球里面有完整說明（三個部分一共25頁、4千4百字）。同時星球?qū)貿(mào)Q群上傳了里面有長達(dá)5.7萬字，316頁500頁、8.5萬字的Innovus教程，歡迎大家加入（二維碼見文末）。 report_timing時序報告詳細(xì)解讀 report_timing命令選項說明 report_timing報告格式如何個性化設(shè)置 report_timing時序報告解讀我最初接觸數(shù)字IC設(shè)計時，用的絕大部分都是S家的工具，比如DC/PT/ICC，當(dāng)時學(xué)習(xí)的時候感覺report_timing的報告挺容易理解的，非常直觀，如果對這個有疑問或者想知道怎么根據(jù)Timing report來判斷這個Path是否好修，該如何修，可以看下面的推文：《應(yīng)邀長文- DC/ICC/ICC2/PT中的report_timing報告如何看，如何找出問題修復(fù)Timing違反》星球鏈接（干貨內(nèi)容）：https://t./3feYrzf 可是自從PR工具切到了C家的工具Innovus之后，感覺一臉懵，直接看上面的report，很多地方都搞不懂到底是啥，所以這里寫篇推文來專門講解一下。比如:1、什么是“Trailing edge”、什么是“Leading edge”？Innovus:  S家的工具挺直觀的，懂點英語的話應(yīng)該很容易看懂（就是直接寫的上升下降沿）：  2、什么是“Other end arrival time”3、報告中的required time怎么來的，它和other end arrival time之間關(guān)系，slack是怎么計算的？4、S家的工具報hold使用-delay_type min，那么Innovus怎么報hold timing？5、還有就是一個非常大的不同，為啥很多地方看到的clock后邊的arrival time是從負(fù)值開始的。  經(jīng)過這些年的學(xué)習(xí)，這些問題已經(jīng)全部搞清楚了，這里對report_timing的結(jié)果做一個完整的講解，上面提到的這些困惑也會一一解答。 Manual與Help首先man report_timing可以看這個命令的詳細(xì)manual，不過非常長…  report_timing -help可以看它的所有option和相應(yīng)的意思（具體每個Option是什么意思，星球Timing第二篇推文有詳細(xì)講解）：  如何展開Clock path首先講一個option:-path_type {end summary full full_clock end_slack_only summary_slack_only}# The path_type option lets you choose the format of the report by path type (enum, optional)Path_type指定成full_clock的話可以將launch clock和capture clock的部分展示出來，否則默認(rèn)情況下是不顯示clock path的.加-path_type full_clock之前：  加上-path_type full_clock之后，紅色部分的內(nèi)容是多出來的：  Timing report詳細(xì)講解首先，我們來看一條簡單的timing path report  在講解詳細(xì)報告之前，先普及一下Setup的基本計算公式：  Setup Slack = Data Require Time - Data Arrival TimeData Arrival Time = Clock Launch Edge + Network latency + Tck-q + Tdata_path_min Data Require Time = Capture Clock Arrival Time - Tsetup - Setup uncertaintyCapture Clock Arrival Time = Clock Capture Edge + Network latency Hold與之相似，不過使用arrival time減去required time，并且Hold是同沿Check：Hold Slack = Data Arrival Time - Data Require Time 1. 頭部一#開頭的注釋信息最上面的是用#開頭的注釋信息，里面的Command后邊是報這個Timing path用的完整命令和option。如果想將報告導(dǎo)出的一個文件中，我們可以在后邊加上管道符>，圖中的command就是這樣，并且報出了完整的Clock path。 2. Path 1也就是第一條Path，它后邊的信息顯示的是這條path的Slack情況是Met（滿足）還是Violate（違反），后邊接的是Setup check還是hold check，這里的話是Setup，如果想報hold的話，可以report_timing -early，會給出類似于下面的結(jié)果：Path 1: MET Hold Check with Pin ff1/CKNEndpoint: ff1/D (^) checked with trailing edge of 'CLK2'Beginpoint: in1 (^) triggered by leading edge of 'CLK' 3. Endpoint和Beginpoint是介紹了這條path的Endpoint和Beginpoint（S家的工具叫startpoint）。這里問題來了，checked by后邊的leading edge和trailing edge是什么意思呢？是上升沿和下降沿么？其實不是的！！…（完整內(nèi)容見知識星球） 4. Path group就是path group，如果有創(chuàng)建path group就會顯示，沒有的話一般就是指該條path的clock信息關(guān)于Path group的詳細(xì)內(nèi)容，比如為啥要創(chuàng)建Path group，如何查看/報告Path group，什么是Critical Range，如何利用Path group和Critical Range以及Weight來優(yōu)化Timing可以查看下面的推文：《精華長文-Path Groups 與Critical Range 、 Weight》星球鏈接：https://t./yvNr3Zz … |
|
|
