Post-silicon and runtime verification for modern processors
Post-Silicon and Run-Time Verification for Modern Processors surveys the state of the art and evolving directions in post-silicon and runtime verification. The volume gives an overview of the state of the art in verification, particularly current post-silicon methodologies in use in the industry, bo...
Uloženo v:
| Hlavní autoři: | Wagner, Ilya, 19..-, Bertacco, Valeria (Autor) |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
New York, NY :
Springer US : Imprint: Springer
[20..].
Cham : Springer Nature |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Post-Silicon and Runtime Verification for Modern Processors, Texte imprimé, 9781441980335 |
Podobné jednotky
-
Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings
(Livre numérique)
Legay, Axel - Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Livre numérique)
-
Scalable Hardware Verification with Symbolic Simulation
(Livre numérique)
Bertacco, Valeria
Springer US, 2006 -
Multiscalar Processors
(Livre numérique)
Franklin, Manoj -
Modern Assembly Language Programming with the ARM Processor
(Livre numérique)
Pyeatt, Larry D.
Elsevier Science, 2016

