spyglass atrenta
2014年9月11日—例如使用SpyGlass系列產品為RTL做靜態驗證及Formal查核,再輔以GenSys的自動重組RTL來做IP組合,以及BugScope的動態模擬驗證的工具,提高驗證的覆蓋率,以 ...,2015年6月3日—新的IPKit採用SpyGlass5.4.1版本,提高了可用性,具備對互動式使用模型的本...
Atrenta協助IC設計團隊迎接SoC技術挑戰
2014年9月11日—例如使用SpyGlass系列產品為RTL做靜態驗證及Formal查核,再輔以GenSys的自動重組RTL來做IP組合,以及BugScope的動態模擬驗證的工具,提高驗證的覆蓋率,以 ...
** 本站引用參考文章部分資訊,基於少量部分引用原則,為了避免造成過多外部連結,保留參考來源資訊而不直接連結,也請見諒 **