IC開發週期中，超過70%的時間都用於邏輯驗證。隨著新一代IC設計的複雜度不斷提高，如何進行正確的設計驗證，以確保設計能夠完美運作，已成為日益嚴峻的挑戰。
Siemens EDA的OneSpin解決方案旨在驗證IP和IC在硬件故障的不利條件下仍能正常運行。設計團隊將驗證可實現的設計，預測可能出現的問題並覆蓋。OneSpin正式驗證是您需要了解的一套解決方案，使設計團隊能夠應對關鍵的IC完整性問題，克服下一代驗證挑戰，創建功能正確、安全、可靠且受信任的SoC。
來自Siemens Questa OneSpin Formal(QOSF)產品的技術專家將於6月13日在新竹國賓舉辦研討會，與與會者分享如何利用QOSF工具解決行業內幾個常見的驗證挑戰，並交流專業知識。此外，我們將分享最新產品進展和應用，以及Siemens EDA對於正式驗證技術發展的戰略願景。
以下是研討會的議程亮點：
● 使用正式方法進行處理器核心微架構的高級驗證
● 通過RTL驗證保證處理器核心的安全修改
● FPGA設計驗證的高級等效檢查方法
● 正式安全驗證與數據通路要求保持一致
● 增強SystemC/C++設計的驗證技術
● 對互連流程進行深入分析
● 實施全面的正式驗證覆蓋策略
我們誠摯邀請您參加這場研討會，與我們一同探討並分享最前沿的技術和見解。期待與您相會！
| Time | Topic | Speaker |
|---|---|---|
| 09:00 – 09:30 | Registration | |
| 09:30 – 09:35 | Welcome Opening & Morning session introduction | Michael Chiang |
| 09:35 – 10:05 | Navigating Current Barriers to Industry Success | Nicolae Tusinschi |
| 10:05 – 10:35 | Technology Update: Advancing Innovations with Formal Solutions | Nicolae Tusinschi |
| 10:35 – 10:50 | Tea Break | |
| 10:50 – 11:30 | Advanced Verification of Processor Core Microarchitecture Using Formal Methods | Gerardo Nahum |
| 11:30 – 12:00 | Guaranteeing Safe Modifications of Processor Cores with RTL Validation | CY Chang |
| 12:00 – 13:10 | Lunch break | |
| 13:10 – 13:15 | Afternoon session introduction | Michael Chiang |
| 13:15 – 13:45 | Advanced Equivalence Checking Methods for FPGA Design Verification | Gerardo Nahum |
| 13:45 – 14:15 | Aligning Formal Security Verification with Datapath Requirements | Gerardo Nahum |
| 14:15 – 14:45 | Enhancing Verification Techniques for SystemC/C++ Designs | CY Chang |
| 14:45 – 15:00 | Tea Break | |
| 15:00 – 15:30 | In-Depth Analysis of the Interconnect Flow Process | CY Chang |
| 15:30 – 16:10 | Implementing Comprehensive Strategies for Formal Verification Coverage | Nicolae Tusinschi |
| 16:10 – 16:30 | Ensuring AMBA Designs Meet Protocol Compliance Without Simulation | Nicolae Tusinschi |
| 16:30 | Closing |
*Agenda and presenters subject to change without notice.
參加辦法
- 活動時間：2024年6月13日(星期四) 09:00～16:30
- 活動地點：新竹國賓大飯店 聯誼廳
- 活動地址：新竹市東區中華路二段188號10樓
- 報名費用：全程免費(名額有限，額滿為止)
- 報名方式：線上報名
- 洽詢信箱：mem_service@hmg.com.tw
- 洽詢電話：(02) 2500-7022轉2301 敖小姐
【注意事項】
- 本活動採預先線上報名，報名完成後將由主辦單位進行出席資格審核，與主題及屬性比較符合者為優先考量。通過審核者，系統將於活動兩周前以電子郵件方式陸續寄發報到通知函和簡訊通知，以示您的出席資格，報到時，請熟記報到編號，並請攜帶名片１張。未通過審核者，亦會收到一封婉拒通知信。
- 請盡早完成報到手續，主辦單位依現場報到完成順序安排座位，額滿為止。場地額滿後將視現場狀況開放入場，主辦單位保有開放進場與否及現場報名之權利。
- 若因不可預測之突發因素，主辦單位得保留議程、講師及內容流程之變更權利。
- 為提供訂閱、行銷、客戶管理或其他合於營業登記項目或章程所定業務需要之目的，家庭傳媒集團(即英屬蓋曼群島商家庭傳媒股份有限公司、城邦文化事業股份有限公司、書虫股份有限公司)，於本集團之營運期間及地區內，將以mail、傳真、電話、簡訊、郵寄或其他公告方式利用您提供之資料(資料類別：C001、C002、C003、C011等)。利用對象除本集團外，亦可能包含相關服務的協力機構或合作廠商。如您有依個資法第三條或其他需服務之處，請致電本公司客服中心，電話：0800-020299。
