2. ==關於約束==
3. ==關於時序分析==
4. ==關於驗證==
generate語句有generate_for、generate_if、generate_case三種語句。
必須使用genvar申明乙個正整數變數，用作for迴圈的判斷。
需要複製的語句必須寫到begin_end語句裡面。就算只有一句！！！
begin_end需要有乙個類似於模組名的名字。
generate_for用於複製模組，而generate_if則是根據模組的引數（必須是常量）作為條件判斷，來產生滿足條件的電路。相當於判斷語句。
generate_case其實跟generate_if一樣，都是根據引數（都必須為常量）作為判斷條件，來產生滿足條件的電路，不同於使用了case語法而已。
參考：參考：
以下關與false-path正確的是(a)
a. 一般非同步電路可以設定為false-path
b. 兩個不同頻率的介面一定可以設定為false-path
c. 一般非同步復位可以設定為false-path
d. 一般模擬ip和系統的互聯介面都可以設定為false-path
分析：false pth就是我們進行綜合分析時，不希望綜合工具分析的那些路徑。一般在以下兩種情況下使用
從邏輯上考慮，與電路正常工作不相關的那些路徑，比如測試邏輯，靜態邏輯等
從時序上考慮，我們在綜合時不需要分析的那些路徑，比如跨越非同步時鐘域的路徑
setupviolation在綜合時候解決。constrain有一些技巧。實在不行，就要改rtl.
holdtimeviolation在layout中解決，astro會自動加上buffer的。但是最後幾條軟體也解決不了的path,就要靠最聰明的人腦了。
1.holdviolation好修，一般通過在datapath上加buffer。
2.setupviolation一般通過減少datapath延時，或者通過延遲參考時鐘（降頻），但延遲參考時鐘有可能會使下一級register產生setupviolation。
參考：參考：
sv提供了下列處理併發程序的能力：
fork…join併發結構，
通過mailbox實現程序間的通訊，
通過semaphore實現程序互斥與仲裁，
通過event實現程序之間的同步
參考：
slam學習 基本知識
slam模型的運動方程和觀測方程 方程中的位姿可以用變換矩陣來描述，然後用李代數進行優化 可以用李群表示，但是群比較複雜，用李代數近似模擬，用李代數優化 觀測方程由相機成像模型給出，其中內參是隨著相機固定的，而外參就是指相機的位姿 位置xyz和姿態朝向 由於實際採集的資料都是含有雜訊的，所以視覺sl...
C 學習（1）（基本知識）
第一節課，兩個簡單的題，一些零散的知識點 一 讀入 相關部落格 1.cin 遇到空格，回車會停下 2.cin.getline s,n 接收n 1個字元到s中，包括空格 屬於istream流 3.getline cin,s 讀字串到s 屬於string流，注意標頭檔案 4.cin.get 可讀字元，可...
linux學習（1） 基本知識
1 關機 1 有桌面 系統 關機 關閉系統 2 無桌面 命令列關機 shutdown h now 正常關機 halt 關閉記憶體 2 終端 類似於windows作業系統下的cmd命令列模式 3 使用vmware備份虛擬機器 快照 又稱還原點，就是儲存在拍快照時系統的狀態，在後期的時候隨時可以恢復。側...