傳遞語言(RTL) 和電腦傳統時間示例即完工，生產力可因而提高50%。當今世上最大市場之一是資料中心和數據處理，值得留意的是，伺服器單位數量的增長率正逐漸下降，但電晶體每年仍將以遞增速度增長；試就「岡波茨曲線」(Gompertz Curve) 推估，直至2038 年才會達到峰值。益華電腦(Cadence) 則從邊緣光加速IP著手，其小型正規證明技術可為設計者提供二氧化矽(silica) DNA。
Cadence 企業副總暨系統驗證事業群總經理Paul Cunningham博士介紹，他們擁有強大、經過驗證且可配置軟體的數位訊號處理器(DSP)，可自定義乘積累加運算(MAC) 脈動陣列、精度達16位元，並已集成專用可預測編譯器(compiler)，可讀取來自軟體編程測試台的訊號或透過配置額度解決壅塞。經由自動學習引擎，可直觀選用驗證方法且再次使用ML 解決數據庫問題，還能訓練一個神經網路應對特定問題。特別一提，為針對客製化的類比設計實施數位驗證、並將卓越設計納入系統，Cadence 保留了早期所有軟體，以便綜觀系統分析全局進行開發。
照片人物：Cadence 企業副總暨系統驗證事業群總經理 Paul Cunningham
