• DocumentCode
    2086964
  • Title

    Enhanced visibility and performance in functional verification by reconstruction

  • Author

    Marantz, Joshua

  • Author_Institution
    Ikos Syst. Inc., Waltham, MA, USA
  • fYear
    1998
  • fDate
    19-19 June 1998
  • Firstpage
    164
  • Lastpage
    169
  • Abstract
    Cycle simulators, in-circuit emulators, and hardware accelerators have made it possible to rapidly model the functionality of large digital designs. But these techniques provide limited visibility of internal design nodes, making debugging hard. Simulators run slowly when all nodes are traced. Emulators provide full visibility only with limited depth, or with greatly reduced speed. This paper discusses software techniques for increasing design visibility while reducing tracing overhead in simulation, and achieving 100% visibility in emulation without reducing speed or compromising depth.
  • Keywords
    circuit CAD; circuit analysis computing; circuit testing; formal verification; logic testing; design visibility; digital designs; emulation; functional verification; hardware accelerators; reconstruction; simulation; Analytical models; Context modeling; Debugging; Discrete event simulation; Emulation; Hardware; History; Licenses; Permission; Signal analysis;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference, 1998. Proceedings
  • Conference_Location
    San Francisco, CA, USA
  • Print_ISBN
    0-89791-964-5
  • Type

    conf

  • Filename
    724459