|
思源科技推出新版偵錯平台 大幅強化效能並加入SystemVerilog支援
(本報訊)電子設計自動化領導廠商思源科技(2473),近期推出大型數位晶片以及系統晶片(System-on-chip)偵錯自動化平台Verdi的開發藍圖。新版Verdi偵錯平台整合了不同階層的設計語言及工具,能有效將系統規格到晶片實作的驗證時程縮短一半以上。思源最新的進展是能在整個偵錯平台上增進三到十倍的效能及容量,並在SystemVerilog語言所引導的驗證方法上加入自動化偵錯功能。
, [% o M" C4 N7 ?9 p3 N
) ]% `# c/ F+ V偵錯平台效能的提升,重點在於能否快速讀取大型設計中工程師關心的重要部分,並提供隨需 (on-demand) 及漸進 (incremental) 的執行方法,來加速自動化設計分析及追蹤的能力。思源科技也在新版的Verdi自動化偵錯平台中建立了完整的SystemVerilog支援架構,其中包含了SystemVerilog Assertion(SVA)、SystemVerilog 設計程式碼、以及SystemVerilog Testbench(SVTB) 的完整偵錯方案。這些功能將從2007年7月開始逐步於每季更新的Verdi 產品中釋出。
; I( O$ ?! Y/ f- d$ s V# w' k9 Z' V
思源科技資深產品處長茅華表示:「現今大型晶片設計動輒超過上億邏輯閘,對於要了解晶片設計內部複雜架構與行為的工程師來說,無疑是個龐大的挑戰。我們提昇了Verdi的效能、容量、和功能,讓偵錯自動化與不斷增加的晶片大小和複雜度並駕齊驅。我們的客戶便可以安心的使用最新的標準和技術來針對複雜且巨大的晶片進行偵錯。」/ v( J: W' v! L: o: Q5 t; Z
, X( c' Z4 l0 |4 B4 H2 ~思源科技針對已被視為業界標準的快速訊號儲存資料庫(FSDB)進行大幅改善,不論是在取得訊號資料的速度以及有效接觸晶片內部訊號的機制上,皆有長足的進步。對於反應時間及記憶體使用上的直接影響更是令人印象深刻,例如加入訊號到波型顯示器的效率增加了五倍、在程式碼和邏輯示意圖(Schematic)上追蹤及顯示訊號值的效率增加了二到十倍、比較大型FSDB 檔案的效率增加了三倍等。% s3 Y1 l+ i. S- S3 V# J* b$ j6 u# `
7 y; Y1 A0 y0 M) O+ t9 w此外,思源科技開發了隨需(on-demand)及漸進(incremental)執行的特殊資料庫以增進偵錯的效能並支援更多的先進功能。這些功能包括:可在區塊階層(block level)中,以十倍速度與1/3記憶體執行設計行為分析(behavior analysis)。而思源的設計知識資料庫(knowledge database, KDB)也將會採用此種隨需執行的方式,來加速讀取資料和處理的效率。未來更將持續對FSDB的資料處理過程做最佳化,以期達到更大的進步。
' @, M: W/ _0 Y+ f8 J: Z' |! l$ i8 w8 r0 x
關於SystemVerilog Methodologies:
- G+ l- ]* C: ~+ q8 s. ?5 D- S
- n: t& k" M: V8 r" q: A6 b. h$ N使用SystemVerilog 作為以Assertion為基礎的驗證方法和撰寫Testbench的標準,已是產業的趨勢。思源的偵錯平台支援了SVA(SystemVerilog Assertion) 以及 SVTB(SystemVerilog Testbench),根據這些新方法抽象和動態(abstract and dynamic)的特性,思源提供了以下的新功能:
9 ~3 R' c, l x' C. E* {% J! L; f( O+ \/ B1 h
SVA:快速的離線斷言(Assertion)檢查功能。新版Verdi偵錯平台的斷言分析引擎會自動的標出斷言的錯誤點,並在不需重新執行模擬的情況下自動的計算出斷言的結果及執行過程的數據,以加快偵錯的過程並減少重覆模擬的需求。) [/ G# v8 y ]$ U4 g8 w
SVTB:提供傳統的程式碼觀察及追蹤功能,以及先進的瀏覽器以觀察、分析、顯示及追蹤動態資料(dynamic data)與Class架構。
; z r4 s- g2 t/ ^8 a: D' l ^5 S5 U1 {& F- L/ e' Y# s7 ?
科技小辭典:5 h9 `, i; M0 m" l, |% k S$ r$ J
Assertion斷言
7 b5 C$ B$ p; t% R0 x8 x: F例外是程式中非預期的錯誤,例外處理是在這些錯誤發生時所採取的措施。有些時候,您預期程式中應該會處於何種狀態,例如某些情況下某個值必然是多少,這稱之為一種斷言(Assertion),斷言有兩種情況:成立或不成立。當預期結果與實際執行相同時,斷言成立,否則斷言不成立。 |
|