Title: Design and Verification of Microprocessor Systems for High-Assurance Applications, Author: David S. Hardin
Title: Design and Verification of Microprocessor Systems for High-Assurance Applications / Edition 1, Author: David S. Hardin