LSI設計流程與EDA
事先描述設計應滿足的性質（例如「收到請求後須在3個週期內回應」），並在模擬過程中或形式驗證時自動檢查的手法為下列何者？
- A隱形切割（stealth dicing）
- B斷言式驗證（assertion-based verification）
- C虛設填充（dummy fill）
查看答案與解析
正確答案：B. 斷言式驗證（assertion-based verification）
斷言（assertion）是描述電路應隨時滿足的性質，或訊號時間關係的敘述。可以在模擬過程中自動偵測違反，或以形式驗證做數學證明，因此能在靠近缺陷發生源的地方及早發現問題。比起由人檢視輸出波形來確認，更不容易漏看。可用SystemVerilog Assertions（SVA）等撰寫。隱形切割與虛設填充是製造的技術。
- A. 隱形切割是切分晶圓的方法。
- B. 正確。這是描述性質並自動檢查的手法。
- C. 虛設填充是為了CMP而放置的無功能圖案。