Browse Research and Tech Reports - Computer Science by Subject "asynchronous vlsi"

  • Katelman, Michael; Keller, Sean; Meseguer, José (2012-06-10)
    This paper is about the semantics of production rule sets, a language used to model asynchronous digital circuits. Two formal semantics are developed and proved equivalent: a set-theoretic semantics that improves upon an ...


    application/pdfPDF (474kB)