Pragmatics
Accept a suitable subset of C++ input
Provide output to be synthesizable
Package hardware analogues and assists in a library
- usable type system for a bit-true representation
- processes, components, w&w, exception handling
- multiple logic levels (2-state, 4-state)
Eliminate or minimize interpretation