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
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;
Conference_Titel :
Circuits and Systems, 2007. MWSCAS 2007. 50th Midwest Symposium on
Conference_Location :
Montreal, Que.
Print_ISBN :
978-1-4244-1175-7
Electronic_ISBN :
1548-3746
DOI :
10.1109/MWSCAS.2007.4488824