白皮書
Konica Minolta 已證實能利用 Catapult HLS 平台進行 C++ 層級 Signoff
填補高階合成 (HLS) 設計抽象化與驗證抽象化之間的差距,將能進一步提高生產力
我們認識到填補高階合成 (HLS) 設計抽象化與驗證抽象化之間的差距,將能進一步提高生產力。為了填補差距,Siemens 在 HLS 流程中加入高階驗證工具與技術,我們一直在評估這些工具和技術,並向 Catapult 團隊回饋意見。本文記錄了我們如何採用這項高階驗證流程。