Search
【Cadence TECHTALK線上技術研討會: 在AWS上佈署JasperGold強化驗證生產力】
Cadence與雲端服務的領導者 #AWS (亞馬遜網路服務公司)攜手合作，聯合舉辦線上技術研討會，AWS 以及Cadence專家除了分享協助設計團隊提高驗證運算能力的JasperGold解決方案外，同時也將介紹雙方合作推出的Cadence Cloud產品組合，以及如何在AWS雲端平台上進行EDA管理和優化設計。💪
日期: 2021年 8月 17日(二)
時間: 14:00pm-15:00pm (台北時間)
#加速電子系統和半導體設計開發時程 #提高生產力
前往報名✍️✍️https://events.cadence.com/event/8003c8eb-5f35-47e3-ab31-1693b33580c0/summary
在學校就能學到形式驗證知識及實作? 🤔
這些年來，透過Cadence Academic Network學術網絡計劃的推動，目前台灣已有多所學校開始使用Formal Verification形式驗證的最新技術，並已有超過1,400位莘莘學子使用過JasperGold工具軟體和平台👏👏！
Cadence將持續致力推動產學合作，期許未來更多同學能受益於學術網絡計畫，接軌最新EDA技術，齊力提升台灣的半導體的實力! 💪💪
#CadenceAcademicNetwork #JasperGold
更多關於Cadence Academic Network學術網絡計劃>>>https://cadence-academic-network.incubatehub.com/
【Cadence TECHTALK線上技術研討會：JasperGold SEC App把關 加速驗證時鐘門控】
Clock gating是實現降低動態功耗最常用技術之一，然而在設計流程中引入Clock gating，將帶來新的驗證範圍複雜性及難題。🤔
Cadence JasperGold 循序等價性檢查（SEC）App堪稱為業界支持最廣泛的獨立順序等價性檢查產品，無需測試平台開發即可提供完整的解決方案，協助客戶的設計驗證應對Clock gating處於不同狀態時，設計功能一致的問題。 👍👍
歡迎加入Cadence 線上技術研討會，瞭解更多JasperGold SEC App 如何以形式驗證技術協助客戶解決驗證難題。
時間: 2020年7月10日(週五) 14:00-14:50
#中文演說 #JasperGold
立即報名✍✍https://events.cadence.com/d/97q7yb/
Mike explains how RTL Designers can easily explore their design functionality using JasperGold, and verify functionality early using a mix ... ... <看更多>
Gargi demonstrates the powerful yet easy-to-use formal exploration and debug capabilities of the JasperGold GUI and Visualize environment. ... <看更多>
jaspergold 在 Introduction to JasperGold® Formal Verification – Pete Hardee 的推薦與評價
Pete introduces some fundamental concepts about formal verification, and contrasts them with simulation. He also explains why JasperGold ... ... <看更多>