现代电子技术
現代電子技術
현대전자기술
MODERN ELECTRONICS TECHNIQUE
2005年
3期
1-4
,共4页
设计验证%系统芯片%设计语言%验证语言
設計驗證%繫統芯片%設計語言%驗證語言
설계험증%계통심편%설계어언%험증어언
由于微电子技术的迅速发展和系统芯片的出现,包含微处理器和存储器甚至模拟电路和射频电路在内的系统芯片的规模日益庞大,复杂度日益增加.人们用传统的模拟方法难以完成设计验证工作,出现了所谓"验证危机".为了适应这种形势, 电子设计和验证工具正在发生迅速而深刻的变革.现在基于RTL级的设计和验证方法必须向系统级的设计和验证方法过渡,导致了验证语言的出现和标准化,本文将对当前出现的系统级设计和验证语言进行全面综述,并论述验证语言标准化的情况.分析他们的优缺点和发展趋势.最后简单评述当前的验证方法,说明基于断言的验证是结合形式化验证和传统模拟验证可行的途径.
由于微電子技術的迅速髮展和繫統芯片的齣現,包含微處理器和存儲器甚至模擬電路和射頻電路在內的繫統芯片的規模日益龐大,複雜度日益增加.人們用傳統的模擬方法難以完成設計驗證工作,齣現瞭所謂"驗證危機".為瞭適應這種形勢, 電子設計和驗證工具正在髮生迅速而深刻的變革.現在基于RTL級的設計和驗證方法必鬚嚮繫統級的設計和驗證方法過渡,導緻瞭驗證語言的齣現和標準化,本文將對噹前齣現的繫統級設計和驗證語言進行全麵綜述,併論述驗證語言標準化的情況.分析他們的優缺點和髮展趨勢.最後簡單評述噹前的驗證方法,說明基于斷言的驗證是結閤形式化驗證和傳統模擬驗證可行的途徑.
유우미전자기술적신속발전화계통심편적출현,포함미처리기화존저기심지모의전로화사빈전로재내적계통심편적규모일익방대,복잡도일익증가.인문용전통적모의방법난이완성설계험증공작,출현료소위"험증위궤".위료괄응저충형세, 전자설계화험증공구정재발생신속이심각적변혁.현재기우RTL급적설계화험증방법필수향계통급적설계화험증방법과도,도치료험증어언적출현화표준화,본문장대당전출현적계통급설계화험증어언진행전면종술,병논술험증어언표준화적정황.분석타문적우결점화발전추세.최후간단평술당전적험증방법,설명기우단언적험증시결합형식화험증화전통모의험증가행적도경.
