close
1.

電子ブック
ＥＢ
1. Post-Silicon and Runtime Verification for Modern Processors
by Ilya Wagner, Valeria Bertacco
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-8034-2
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Functional Design Errors in Digital Circuits : Diagnosis, Correction and Repair
by Kai-hui Chang, Igor L. Markov, Valeria Bertacco
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Lecture Notes in Electrical Engineering ; 32
オンライン: http://dx.doi.org/10.1007/978-1-4020-9365-4
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Scalable Hardware Verification with Symbolic Simulation
by Valeria Bertacco
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-29906-8
所蔵情報: loading…