![Technical communication / Hardware description languages / Functional languages / Atom / Real-time computing / Bluespec / Formal methods / SystemVerilog / Type system / Verilog / Interface / Refinement Technical communication / Hardware description languages / Functional languages / Atom / Real-time computing / Bluespec / Formal methods / SystemVerilog / Type system / Verilog / Interface / Refinement](https://www.pdfsearch.io/img/e82ea26440972ee194ac38c71b99f3cb.jpg) Date: 2006-08-22 04:59:46Technical communication Hardware description languages Functional languages Atom Real-time computing Bluespec Formal methods SystemVerilog Type system Verilog Interface Refinement | | experienced in the software domain. For example, the notion of a variable in software often becomes a wire in hardware with very different semantics. Hardware, at least synchronous anyway, has the notion of a clock and oAdd to Reading ListSource URL: rodin.cs.ncl.ac.ukDownload Document from Source Website File Size: 220,25 KBShare Document on Facebook
|