C和C++編譯器與庫測試及認證領域的全球領導者Solid Sands 近日宣布,家用微控制器和安全 IC 的創造者——臺灣漢芝電子已在其下一代微控制單元(MCU)編譯器設計中采用了 SuperTest 編譯器測試和驗證技術。 漢芝電子主要為物聯網、工業自動化、智能家居和消費電子等安全密集型、高增長細分市場提... (來源:新聞頻道)
Solid Sands臺灣漢芝電子 2022-1-19 14:17
C和C++編譯器與庫測試及認證領域的全球領導者Solid Sands 近日宣布,家用微控制器和安全 IC 的創造者——臺灣漢芝電子已在其下一代微控制單元(MCU)編譯器設計中采用了 SuperTest 編譯器測試和驗證技術。 漢芝電子主要為物聯網、工業自動化、智能家居和消費電子等安全密集型、高增長細分市場提供M... (來源:新聞頻道)
Solid Sands臺灣漢芝電子MCU微控制 2021-11-11 15:06
編譯器測試和驗證領域的全球領導者 Solid Sands 近期宣布推出SuperGuard C 庫安全驗證套件。和SuperTest一樣,SuperGuard 也記錄了C 庫測試要求和規范。 Solid Sands 首席技術官Marcel Beemster · C 庫測試要求、規范和實施的綜合文檔為開發人員提供了遵守功能安全標準所需的信息 ... (來源:新聞頻道)
Solid SandsSuperGuard C安全驗證套件 2021-6-8 16:19
Synopsys日前宣布:其Verification Compiler™驗證編譯器解決方案開始供貨,該款新產品代表了業內為系統級芯片(SoC)驗證技術和驗證路線圖描繪的一幅誘人前景。Verification Compiler是一種將新一代驗證技術集成到一起的完整產品組合,其中包括先進調試、靜態和形式驗證、仿真、驗證IP以及覆蓋率... (來源:新品頻道)
SynopsysVerification Compiler驗證編譯器 2014-3-24 14:27