Back to Results
First PageMeta Content
Technical 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 o
Add to Reading List

Document Date: 2006-08-22 04:59:46


Open Document

File Size: 220,25 KB

Share Result on Facebook