Caisson [20] is based on a classic security type system [32] for a Verilog-like hardware definition language.
security in Caisson inherits the strengths and weaknesses of the type-­based approach; i.e., security is statically checkable, but some secure programs are excluded.