; j# _& f2 q( C' V% |$ v7 s思源科技的Certitude軟體結合專利自動化技術以及以變異為基礎(mutation-based)的技術與靜態分析,能夠評估效能、確認重大缺失,並且改善HDL模擬驗證的結果品質。換句話說,這套系統會將錯誤(人為變異)置入暫存器轉換階層(RTL)設計中,並且使用工程師選擇的數位邏輯模擬工具,針對每一項變異進行測試。測試結果包含詳盡的錯誤啟動(activation)、傳遞(propagation)與偵測等功能檢測資訊,以評估整體驗證流程,同時找出並修正漏洞,譬如缺漏的功能查核、不完整的測試過程,以及基礎架構問題。分析無法傳遞或驗證環境無法偵測的錯誤,並準確地指出測試向量、觀測性(observability)或結果檢驗程式的問題,進而協助修正。3 S; e- l& K8 x5 G3 u
$ n/ g9 J8 j& j. M, k5 W% a* XCertitude技術平台新增錯誤偵測、排序與追蹤功能,在整個驗證流程中能夠更迅速地提供重要訊息回饋、縝密分析結果,並且簡化錯誤分析。Certitude系統發現未檢出(Non-Detected)的錯誤時,會自動排除(drop)其他與此ND錯誤相關的錯誤,避免浪費寶貴的時間。這項功能最初以邏輯錐(logic cone)為基礎,已經過多年的粹煉。這套系統現可運用延展邏輯錐方法,由單一錐體延展排除標準,進一步減少「雜訊」因素,提供錯誤排除功能。 4 }" V( e$ y* X- r7 U2 D4 P ; a& t$ ~' f- D# ]$ `# _; S工程師能夠更迅速地找出應優先處理的ND錯誤。新的錯誤排序與優先排序功能可說明特定錯誤類別(fault class)中,那一個ND錯誤應率先分析,以及該使用那一個測試程式。特定ND錯誤的測試也會依據傳輸時對輸出造成的影響為基準自動排序。作者: tk02376 時間: 2011-5-11 04:06 PM
Certitude系統在找出足夠的重要結果時會自動停止,如此一來工程師便能夠持續分析、修正並排除問題。這項偵測自動停止功能有賴預先定義的標準,譬如優先錯誤類別以及類別中的ND錯誤,以驗證目標為基礎,定義出一個合理的中止點。除此之外,由於Certitude在不同作業間設計碼經常變動,因此這套工具採用自動化錯誤ID架構,能夠明確對應錯誤ID,讓用來分析結果的報告內容維持一致性。2 c! k& h9 x* A6 n# i
2 L9 t- }# I9 S7 A$ e
更簡單完整的驗證 Signoff + I) s D5 q2 ^ / L! @& s" r7 c. `6 ^思源科技也將引進新使用模式做為Certitude平台擴充的一環,能夠讓Certitude配置在早期的驗證流程中,評估環境偵測非特定行為的能力。在大多數的SoC驗證環境中,檢驗程式基礎架構基本上在所有撰寫測試方案前就已就緒。這套新模式旨的設計主要在以更少的模擬資源,快速產生模擬結果,以便能在早期評估檢驗程式效能,並且指出問題所在,譬如不正確或漏失的查核程式。除此之外,思源科技的產品藍圖將進一步拓展Certitude應用範圍,戮力實現完成度更高的功能驗證sign-off工作。我們的研發成果涵蓋各個領域,包括更完備的SoC層應用,以及強化的斷言(assertion)支援。作者: amatom 時間: 2011-5-18 04:39 PM
日本VDEC採用思源VERDI偵錯軟體提升VLSI設計教育效率& K. U$ q& A: g; X
部署Verdi系統為數位電路設計與EDA技術課程的標準偵錯環境 - E0 I" g7 }2 \* R2 ]) V2 F @: R* i# \
2011年5月18日日本橫濱 —思源科技今天宣布,日本VLSI設計教育中心(VLSI Design and Education Center) (VDEC)將提供思源科技的Verdi™自動化偵錯系統給日本的國立大學、公立大學、私立大學與學院,作為教育用途。VDEC是VLSI (超大規模積體電路)技術教育中心,以提升日本半導體產業VLSI設計教育及支援VLSI晶片製造為宗旨。& q# p4 }) v1 g
: C. s2 L! H# o! R0 P$ d$ BVDEC在2010年4月經過審慎評估之後,選擇了Verdi偵錯系統。主要決策關鍵在於思源屢獲嘉獎的偵錯系統具備高效能、使用方便且為業界廣泛採用。VDEC將部署Verdi系統的偵錯自動化與分析功能,以提升該機構的研發效率。Verdi軟體將成為VDEC數位電路設計的標準偵錯平台,並且運用於EDA技術課程、大學的研究與實習,以及VDEC實驗室舉辦的教育訓練課程。! M) ^# O z+ v7 O
5 a9 ~; p3 o1 e, G& n% z" w! A思源科技企業行銷部副總Mark Milligan表示:「透過在開放功能驗證流程中同時使用Verdi、Siloti、以及Certitude等系統,Kalra工程師們可加速對設計內容的理解過程,減少偵錯所需的時間,並有效移除驗證中的不確定性。這些便是Kalray在以效能為導向的嵌入式系統市場中,處理設計複雜度和上市時間壓力時所感受到的優勢。」作者: engineer 時間: 2016-4-23 08:48 AM
An1 heard of Laker OA? What does OA (Open Access) mean?