תמונות העטיפה

Design and Verification of Microprocessor Systems for High-Assurance Applications

Design and Verification of Microprocessor Systems for High-Assurance Applications Edited by: David S. Hardin This book examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels –...

תיאור מלא

שמור ב:
מידע ביבליוגרפי
מחבר תאגידי: SpringerLink (Online service)
מחברים אחרים: Hardin, David S. (Editor, http://id.loc.gov/vocabulary/relators/edt)
פורמט: אלקטרוני ספר אלקטרוני
שפה:English
יצא לאור: New York, NY : Springer US : Imprint: Springer, 2010.
מהדורה:1st ed. 2010.
נושאים:
Electronic circuits.
Computer-aided engineering.
Quality control.
Reliability.
Industrial safety.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Quality Control, Reliability, Safety and Risk.
גישה מקוונת:https://doi.org/10.1007/978-1-4419-1539-9
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
תוכן הענינים:
  • ACL2 and Its Applications to Digital System Verification
  • A Mechanically Verified Commercial SRT Divider
  • Use of Formal Verification at Centaur Technology
  • Designing Tunable, Verifiable Cryptographic Hardware Using Cryptol
  • Verifying Pipelines with BAT
  • Formal Verification of Partition Management for the AAMP7G Microprocessor
  • Compiling Higher Order Logic by Proof
  • Specification and Verification of ARM Hardware and Software
  • Information Security Modeling and Analysis
  • Modeling and Security Analysis of a Commercial Real-Time Operating System Kernel
  • Refinement in the Formal Verification of the seL4 Microkernel
  • Specification and Checking of Software Contracts for Conditional Information Flow
  • Model Checking Information Flow.

פריטים דומים