华东理工大学学报（自然科学版）
華東理工大學學報（自然科學版）
화동리공대학학보（자연과학판）
JOURNAL OF EAST CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE)
2004年
6期
673-676
,共4页
二叉决策图%Verilog硬件描述语言%符号模拟
二扠決策圖%Verilog硬件描述語言%符號模擬
이차결책도%Verilog경건묘술어언%부호모의
给出了一组从Verilog HDL到可符号执行代码的转换规则,并且提出了ProcessQueue机制.通过运用符号模拟的方法和二叉决策图技术,给出了一个RTL级的符号模拟系统的实现方法.本系统能够有效地对RTL级Verilog算法进行符号模拟,并且支持带有时间延迟的If结构的符号模拟.
給齣瞭一組從Verilog HDL到可符號執行代碼的轉換規則,併且提齣瞭ProcessQueue機製.通過運用符號模擬的方法和二扠決策圖技術,給齣瞭一箇RTL級的符號模擬繫統的實現方法.本繫統能夠有效地對RTL級Verilog算法進行符號模擬,併且支持帶有時間延遲的If結構的符號模擬.
급출료일조종Verilog HDL도가부호집행대마적전환규칙,병차제출료ProcessQueue궤제.통과운용부호모의적방법화이차결책도기술,급출료일개RTL급적부호모의계통적실현방법.본계통능구유효지대RTL급Verilog산법진행부호모의,병차지지대유시간연지적If결구적부호모의.
