Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
Add Marked to Bag Add All On Page
Subjects (1-8 of 8)
Integrated Circuits Verification
1
E-Book/E-Doc
 

Co-verification of hardware and software for ARM SoC design


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Elsevier ScienceDirect Ebook  Electronic Book    ---  Available
2
E-Book/E-Doc
 

Comprehensive functional verification the complete industry cycle


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
3
E-Book/E-Doc
 

Practical design verification



New York : Cambridge University Press, c2009. 2009

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
4
E-Book/E-Doc
 

Principles of functional verification


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Elsevier ScienceDirect Ebook  Electronic Book    ---  Available
5
E-Book/E-Doc
 

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


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
6
E-Book/E-Doc
 

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


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
7
E-Book/E-Doc
 

Verification techniques for system-level design


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Elsevier ScienceDirect Ebook  Electronic Book    ---  Available
8
E-Book/E-Doc
 

Verification techniques for system-level design


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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Add Marked to Bag Add All On Page
Locate in results
 
    
Available items only