<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 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 |
Add to Reading List |
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
