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

  • Meredith, Patrick; Katelman, Michael; Meseguer, Jose; Roşu, Grigore (2010-07)
    This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous reference augmenting the prose of ...

    application/pdf

    application/pdfPDF (279Kb)