信息安全与通信保密
信息安全與通信保密
신식안전여통신보밀
CHINA INFORMATION SECURITY
2013年
1期
43-45
,共3页
验证平台%自动生成%Verilog HDL
驗證平檯%自動生成%Verilog HDL
험증평태%자동생성%Verilog HDL
文章讨论了基于Verilog HDL的验证平台的组成和结构,提出了一种结构较为合理的验证平台.在此基础上,讨论了自动生成该验证平台Verilog HDL代码的可行性,并介绍了自动生成该验证平台Verilog HDL代码的软件工具的设计,以及如何在验证工作实施过程中应用该软件工具以达到提高验证效率的目的.最后,为自动生成该验证平台的软件工具的进一步扩展提出了方向.
文章討論瞭基于Verilog HDL的驗證平檯的組成和結構,提齣瞭一種結構較為閤理的驗證平檯.在此基礎上,討論瞭自動生成該驗證平檯Verilog HDL代碼的可行性,併介紹瞭自動生成該驗證平檯Verilog HDL代碼的軟件工具的設計,以及如何在驗證工作實施過程中應用該軟件工具以達到提高驗證效率的目的.最後,為自動生成該驗證平檯的軟件工具的進一步擴展提齣瞭方嚮.
문장토론료기우Verilog HDL적험증평태적조성화결구,제출료일충결구교위합리적험증평태.재차기출상,토론료자동생성해험증평태Verilog HDL대마적가행성,병개소료자동생성해험증평태Verilog HDL대마적연건공구적설계,이급여하재험증공작실시과정중응용해연건공구이체도제고험증효솔적목적.최후,위자동생성해험증평태적연건공구적진일보확전제출료방향.
