講師簡介
Gerardo Nahum
活動日期 : 2024年6月13日(星期四)AM9:00~PM16:30
地點 : 新竹國賓大飯店
地址 : 新竹市東區中華路二段188號10樓(聯誼廳)
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 | Subject | 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 |
※本活動贈送之獎品圖示僅供參考，其規格、顏色、配備等以實物為準，主辦單位保留更換獎品的權利。
本活動採預先線上報名，不開放現場報名。報名完成後將由主辦單位進行出席資格審核，與主題及屬性比較符合者為優先考量。
通過審核者，將於活動前兩周陸續以電子郵件方式寄發報到通知函和簡訊通知，以示您的出席資格。
未通過審核者，亦會收到婉拒通知信。若您未收到任何通知信件，請來電查詢。不開放無「報到通知函」及現場報名者入場。
洽詢電話：(02) 2500-7022轉2301 敖小姐
活動將於9:15開放入場，請盡早完成報到手續，主辦單位依現場報到完成順序安排座位，額滿為止。
為加速您的報到流程，請務必記得攜帶您的公司名片1張，並請出示報到通知Email或報到簡訊。
場地額滿後將視現場狀況開放入場，主辦單位保有開放進場與否之權利。
本活動不提供紙本講義，主辦單位會後依講師意願提供電子檔下載，並於活動結束兩周內發送E-mail通知。
如有活動相關疑問或報名網頁操作問題，請來信至：[email protected]
或洽聯絡電話：02-25007022 #2301 敖小姐。
為提供訂閱、行銷、客戶管理或其他合於營業登記項目或章程所定業務需要之目的，家庭傳媒集團(即英屬蓋曼群島商家庭傳媒股份有限公司、
城邦文化事業股份有限公司、書虫股份有限公司)，於本集團之營運期間及地區內，將以電子郵件、傳真、電話、簡訊、郵寄或其他公告方式利用
您提供之資料(資料類別：C001、C002、C003、C011等)。利用對象除本集團外，亦可能包含相關服務的協力機構或合作廠商。
© Copyright 2024 城邦媒體控股集團 All Rights Reserved
為達最佳瀏覽效果，本站建議使用Chrome瀏覽器，畫面解析度1024X768以上，若以舊版本或IE瀏覽器可能發生效果無法正確顯示之問題。