什麼是參考模型（Reference model）
以 C 語言等另外撰寫、與電路功能相同的模型。給予相同輸入並比較結果，作為電路輸出的期望值。亦稱黃金模型。
日文名稱: 参照モデル
這個名詞所屬的領域: 硬體描述語言與驗證
相關名詞
四值邏輯（Four-state logic） 同步重設（Synchronous reset） 回歸測試（Regression testing） 米利型（Mealy machine） 受限隨機驗證（Constrained random verification） 阻塞賦值（Blocking assignment） 非同步重設（Asynchronous reset） 非阻塞賦值（Nonblocking assignment） 非預期閂鎖（Unintended latch） 重設同步器（Reset synchronizer）