现代计算机（专业版）
現代計算機（專業版）
현대계산궤（전업판）
MODERN COMPUTER
2013年
3期
48-50
,共3页
硬件描述语言%Verilog HDL%ITL%Tempura
硬件描述語言%Verilog HDL%ITL%Tempura
경건묘술어언%Verilog HDL%ITL%Tempura
硬件描述语言为硬件设计师提供一个非常好的分析和设计数字硬件的工具,也为沟通软件和硬件提供了一种方法.然而它缺乏对于电路逻辑关系描述和分析的形式化方法,尤其是基于时序的逻辑描述.这对于化简和检验正确性都带来麻烦.ITL语言描述则提供另一套基于时序的形式化解决方法.用ITL能够方便准确地描述基于时序的数字电路,却缺乏可执行能力,运算公式不能直接进行计算机仿真和验证.Tempura则是ITL强有力的可编程可执行的工具集,大大增强ITL的实用性.通过对RS触发器的描述与验证说明这三者之间的联系,展现ITL等形式方法的发展前景.
硬件描述語言為硬件設計師提供一箇非常好的分析和設計數字硬件的工具,也為溝通軟件和硬件提供瞭一種方法.然而它缺乏對于電路邏輯關繫描述和分析的形式化方法,尤其是基于時序的邏輯描述.這對于化簡和檢驗正確性都帶來痳煩.ITL語言描述則提供另一套基于時序的形式化解決方法.用ITL能夠方便準確地描述基于時序的數字電路,卻缺乏可執行能力,運算公式不能直接進行計算機倣真和驗證.Tempura則是ITL彊有力的可編程可執行的工具集,大大增彊ITL的實用性.通過對RS觸髮器的描述與驗證說明這三者之間的聯繫,展現ITL等形式方法的髮展前景.
경건묘술어언위경건설계사제공일개비상호적분석화설계수자경건적공구,야위구통연건화경건제공료일충방법.연이타결핍대우전로라집관계묘술화분석적형식화방법,우기시기우시서적라집묘술.저대우화간화검험정학성도대래마번.ITL어언묘술칙제공령일투기우시서적형식화해결방법.용ITL능구방편준학지묘술기우시서적수자전로,각결핍가집행능력,운산공식불능직접진행계산궤방진화험증.Tempura칙시ITL강유력적가편정가집행적공구집,대대증강ITL적실용성.통과대RS촉발기적묘술여험증설명저삼자지간적련계,전현ITL등형식방법적발전전경.
