David S. Hardin

• Design and verification of microprocessor systems for high-assurance applications