Welcome to the Kids' Library!

Co-verification of hardware and software for ARM SoC design

Andrews, Jason R.
Amsterdam ; Boston : Elsevier, ©2005. 2005

Comprehensive functional verification the complete industry cycle

Wile, Bruce.
Amsterdam ; Boston : Elsevier/Morgan Kaufmann, c2005. 2005

Practical design verification

New York : Cambridge University Press, c2009. 2009

Principles of functional verification

Meyer, Andreas (Andreas S.)
Amsterdam ; Boston : Newnes, 2003. 2003

SystemVerilog assertions and functional coverage : guide to language, methodology and applications

Mehta, Ashok B., author.
[Cham], Switzerland : Springer, 2016. 2016

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Yoeli, Michael, 1917-
Hoboken, N.J. : Wiley-Interscience, c2008. 2008

Verification techniques for system-level design

Fujita, Masahiro, 1956-
Amsterdam ; Boston : Morgan Kaufmann Publishers, ©2008. 2008

Verification techniques for system-level design

Fujita, Masahiro, 1956-
Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008. 2008

Broadband circuits for optical fiber communication

Sackinger, Eduard, 1959-
Hoboken, N.J. : Wiley, c2005. 2005

Computational aspects of VLSI

Ullman, Jeffrey D., 1942-
Rockville, Md. : Computer Science Press, c1984. 1984

DSP integrated circuits

Wanhammar, Lars.
San Diego, Calif. : Academic Press, ©1999. 1999

Handbook of VLSI microlithography : principles, technology, and applications

Park Ridge, N.J. : Noyes Publications ; Norwich, N.Y. : William Andrew Pub., ©2001. 2001

Introduction to VLSI systems : a logic, circuit, and system perspective

Lin, Ming-Bo, author.
Boca Raton, Florida ; London, [England] ; New York : CRC Press, 2012. 2012

Logic design

Boca Raton, Fla. : CRC Press, c2003. 2003