舊金山Moscone中心將於6月25日至28日舉辦DAC

OneSpin解決方案和Austemper設計系統都將重點介紹用於功能安全驗證的工具。 Austemper將通過KaleidoScope工具套件專注於關鍵任務系統的開發，該套件支持用於並行混合信號故障傳播的模擬設計。自動化工具套件具有面向認證應用程序的安全分析，綜合和驗證功能。它用於ADAS和自動駕駛中的大規模汽車設計。並發故障模擬包括ISO 26262推薦的符合ASIL要求的模擬。

該公司最近與OneSpin Solutions合作，在功能安全應用中採用了工具支持的方法，結合了設計和驗證流程，並將在OneSpin展位上進行演示。硬件安全機制已插入芯片設計中，OneSpin Solutions的工具正式驗證了硬件安全邏輯。等效檢查可確保插入的安全邏輯不會影響常規功能，並且故障檢測分析可驗證安全機制在出現隨機錯誤的情況下能否正常運行。

在獲得TÜVSÜD對其工具開發過程的驗證後，OneSpin還將推廣其工具認證工具包。該工具包可用於該公司的360 EC-FPGA EDA工具，該工具是一種自動順序等效檢查，可以防止FPGA設計流程引入實現錯誤。該套件通過了ISO 26262，IEC 61508和EN 50128認證。

FPGA見解

仍然採用FPGA設計，Plunify與Xilinx合作，通過Plunify Cloud平台在雲中提供Vivado設計套件。設計人員只需支付50c的費用即可在Amazon Web Services（AWS）雲上編譯包括許可證在內的Vivado項目。

該公司還將展示其InTime時序關閉軟件的增強功能，以優化雲中的FPGA時序（圖1）。 InTime優化方法可以將時鐘頻率提高20％到80％，並可以在幾天之內（而不是通過機器學習的幾週）滿足計時要求。該軟件還可以加速時序收斂和優化，並可以通過雲進行訪問。

為了促進eFPGA技術的發展，Achronix半導體正在與IP專家CAST合作，以提高吞吐量並節省存儲空間。

兩家參展商將解釋如何將CAST的無損壓縮IP移植到Achronix FPGA產品組合中，以用於數據中心和移動邊緣數據傳輸應用。 Deflate，GZIP和ZLIB的無損壓縮標準的硬件實現與用於壓縮或解壓縮的軟件實現兼容，以提供高達100Gbit / s的吞吐量，低壓縮和低延遲，並結合Speedcore eFPGA技術來移動和存儲大容量存儲。低功耗的數據。

CAST已將其IP移植到Achronix的FPGA

能源效率

談到電源管理，另一家參展商Baum將能源效率確定為芯片設計中最不發達的領域。其自動化的功率分析和建模工具專為汽車，物聯網，移動，網絡和服務器項目而設計。 PowerBaum 2.0（圖3）支持動態和靜態功耗，並包含RTL和網表描述，並通過硬件仿真增加了對功耗分析的支持。該公司表示，這允許工程師修復現實軟件場景中的電源錯誤。該工具還支持設計人員指定的任意溫度下的分析，以評估溫度對設計功耗的影響。

該公司還將在DAC上推出PowerWurzel，這是一種門級功率分析引擎，將與PowerBaum集成在一起以進行功率建模。

圖3鮑姆工具分析能效

Metrics用於IC設計的基於雲的SoC設計和驗證工具包括Cloud Simulator和Verification Manager，用於管理仿真需求和資源，每分鐘上下調整。該公司聲稱，Google Cloud可實現不受限制的與UVM兼容的SystemVerilog仿真能力以及基於Web的本地驗證管理，以縮短回歸時間，減少中繼代碼錯誤和可預測的代碼覆蓋率。

除參展商外，該活動還舉辦技術會議和主題演講計劃，涉及主題領域。例如，今年Cadence將主持有關“汽車應用的功能安全性和可靠性”的教程，以及有關機器學習的教程（“機器學習將語音識別性能提升到一個新水平”）。 Instrumental的Anna-Katrina Shedletsky在6月25日星期一的主題演講中，將重點討論“自動化智能：機器學習與製造業的未來”。南加州大學的瑪雅·馬塔里奇（MajaMatarić）在周四的主題演講中探討了將ML和AI用於社交輔助機器人（SAR），他將發表“自動化與增強：社交輔助機器人與工作的未來”。

另一個主題演講提倡RISC-V，這是使架構師擺脫專有指令集架構（ISA）的一種手段。 Google和加利福尼亞大學的David A Patterson將介紹“計算機架構的新黃金時代：特定領域的加速器和開放式RISC-V”。

設計基礎設施胡同是今年DAC的一個新領域。 ESD聯盟和高性能計算專業人士協會的倡議是致力於IT基礎設施領域的電子系統和組件設計領域。除了設計和管理雲使用的計算和存儲要求外，還有一個專門的“雲上設計”亭劇院，討論許可證管理，網格計算和數據安全性。