DocumentCode :
3280924
Title :
Development of a test environment for pre- and post-synthesis verification of correct VHDL description of core processor systems
Author :
Heath, J. Robert ; Stroud, Charles E. ; Leong, W. Dean
Author_Institution :
Dept. of Electr. Eng., Kentucky Univ., Lexington, KY, USA
fYear :
1999
fDate :
36434
Firstpage :
40
Lastpage :
46
Abstract :
For the development of both new and legacy core processor systems, the development of an automated pre-synthesis simulation environment which can be used to verify correct hardware description language (HDL) description of the processor is most critical and is the primary subject of the paper. It is most critical in that first, it will help assure that the HDL described processor will correctly execute its assembly language instruction set. Secondly, automation of the pre-synthesis simulation environment will significantly reduce the time required for pre-synthesis design capture verification. Thirdly, parts of the automated pre-synthesis simulation environment can be used for post-synthesis prototype testing. The paper first specifically describes an automated pre-synthesis simulation environment developed to test and verify correct VHDL description of a complex legacy core processor, a Zilog Z8001 processor. Secondly, unique test programs are written for the processor, each of which tests portions of the VHDL code written to describe the processor. The same methodology and procedures can be used to create an automated pre-synthesis simulation test environment for other new and legacy core processor designs. A method of verifying correct synthesis of a prototype of a legacy or new processor system is also presented
Keywords :
automatic test software; circuit simulation; formal verification; hardware description languages; instruction sets; HDL described processor; VHDL code; Zilog Z8001 processor; assembly language instruction set; automated pre-synthesis simulation environment; complex legacy core processor; core processor systems; correct VHDL description; hardware description language description; legacy core processor designs; legacy core processor systems; post-synthesis prototype testing; post-synthesis verification; pre-synthesis design capture verification; pre-synthesis simulation environment; pre-synthesis verification; processor system; test environment; unique test programs; Automatic testing; Computer aided manufacturing; Design automation; Hardware design languages; Heat engines; Microprocessors; Resistance heating; Software systems; System testing; Virtual prototyping;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Fall VIUF Workshop, 1999.
Conference_Location :
Orlando, FL
Print_ISBN :
0-7695-0465-5
Type :
conf
DOI :
10.1109/VIUF.1999.801975
Filename :
801975
Link To Document :
بازگشت