↓ Skip to main content
What is this page? Embed badge

Design and Verification of Microprocessor Systems for High-Assurance Applications

Overview of attention for book
Cover of 'Design and Verification of Microprocessor Systems for High-Assurance Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 ACL2 and Its Applications to Digital System Verification
  3. Altmetric Badge
    Chapter 2 A Mechanically Verified Commercial SRT Divider
  4. Altmetric Badge
    Chapter 3 Use of Formal Verification at Centaur Technology
  5. Altmetric Badge
    Chapter 4 Designing Tunable, Verifiable Cryptographic Hardware Using Cryptol
  6. Altmetric Badge
    Chapter 5 Verifying Pipelines with BAT
  7. Altmetric Badge
    Chapter 6 Formal Verification of Partition Management for the AAMP7G Microprocessor
  8. Altmetric Badge
    Chapter 7 Compiling Higher Order Logic by Proof
  9. Altmetric Badge
    Chapter 8 Specification and Verification of ARM Hardware and Software
  10. Altmetric Badge
    Chapter 9 Information Security Modeling and Analysis
  11. Altmetric Badge
    Chapter 10 Modeling and Security Analysis of a Commercial Real-Time Operating System Kernel
  12. Altmetric Badge
    Chapter 11 Design and Verification of Microprocessor Systems for High-Assurance Applications
  13. Altmetric Badge
    Chapter 12 Specification and Checking of Software Contracts for Conditional Information Flow
  14. Altmetric Badge
    Chapter 13 Model Checking Information Flow
Attention for Chapter 1: ACL2 and Its Applications to Digital System Verification
Altmetric Badge

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
3 Mendeley
Summary Dimensions citations
So far, Dimensions has found 7 publications that cite this research output.

7

The most recent citing publications are shown below. View all 7 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.