The TLM library package allows users to create bus-based protocol-independent designs. This package is provided as part of the Bluespec Foundation library, and is available to all users 1.
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?