Security and Design Validation

See also related work on in-circuit assertions and exceptions.