scientific article; zbMATH DE number 139975

MaRDI QIDQ4028331zbMATH OpenFDO

Authors Lars Rossen, Robin S. Sharp

Publication date 28 March 1993

zbMATH Keywords

reasoning about asynchronous circuitsrelational VLSI specifications languagetemporal abstraction

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Circuits, networks (94C99)

Recommendations

• scientific article; zbMATH DE number 48334
• Designing arithmetic circuits by refinement in Ruby
• An embedding of Ruby in Isabelle
• Semantics of digital circuits
• A semantics of sequence diagrams.

Cited in

(2)

• The essence of Ruby
• An embedding of Ruby in Isabelle

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028331)