DocumentCode
3270747
Title
Automatic generation of ModelSim-Matlab interface for RTL debugging and verification
Author
Gestner, Brian ; Anderson, David V.
Author_Institution
Georgia Inst. of Technol., Atlanta
fYear
2007
fDate
5-8 Aug. 2007
Firstpage
1497
Lastpage
1500
Abstract
We present a system Verilog/C code creation and compilation system that creates a ModelSim-Matlab shared memory interface optimized for the input/output specification of the user Verilog or VHDL. We describe how our interface approach is an improvement over the commercially available Mathworks Link for ModelSim, which requires the user to complete Verilog or VHDL data type conversion using slow m-files and to write interrupt-driven callback functions. Our interface approach frees the user from data type conversion and has the user write sequential test scripts but also takes advantage of a delayed-simulation execution technique to reduce simulation time. We demonstrate the utility of our interface approach by comparing a test script for a pipeline FFT processor to the corresponding Link for ModelSim version.
Keywords
formal verification; hardware description languages; program compilers; program debugging; ModelSim-Matlab shared memory interface; RTL debugging; RTL verification; Reister Transfer Language; VHDL data type conversion; compilation system; hardware description language; system Verilog/C code creation; Clocks; Debugging; Engines; Hardware design languages; Mathematical model; Pipelines; Power engineering and energy; Power system modeling; Sequential analysis; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 2007. MWSCAS 2007. 50th Midwest Symposium on
Conference_Location
Montreal, Que.
ISSN
1548-3746
Print_ISBN
978-1-4244-1175-7
Electronic_ISBN
1548-3746
Type
conf
DOI
10.1109/MWSCAS.2007.4488824
Filename
4488824
Link To Document