• 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