Browse Research and Tech Reports - Computer Science by Subject "Hardware"

  • Katelman, Michael (2010)
    This is the source code accompanying our HVC 2010 paper titled "vlogsl: A Strategy Language for Simulation-based Verification of Hardware"; it includes the source code for the vlogsl tool, as well as targets for all of the ...

    application/octet-stream

    application/octet-streamUnknown (674Kb)
  • Katelman, Michael; Meseguer, Jose (2009-06-03)
    The development of modern ICs requires a huge investment in RTL verification. This is a reflection of brisk release schedules and the complexity of contemporary chip designs. A major bottleneck to reaching verification ...

    application/pdf

    application/pdfPDF (229Kb)