專訪Jasper總裁暨執行長Kathryn Kranen

為提高晶片設計與矽智財(IP)的重覆使用性,利用形式特性驗證(Formal Property Verification)來確保晶片功能正確性的作法已漸成氣候,不但有助降低產品開發風險,更可大幅縮減人力,將使目前主流的模擬(Simulation)驗證技術逐漸式微,退守其利基應用領域。
2010 年 09 月 30 日