Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line MonitoringBoulé, Marc ; Zilic, ZeljkoDordrecht: Springer Netherlands 2008Sem texto completo |
2 |
Material Type: Tese de Doutorado
|
![]() |
Uma metodologia de projetos para circuitos com reconfiguração dinâmica de hardware aplicada a support vector machines.Gonzalez, José Artur QuiliciBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2006-11-07Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. ProceedingsGeist, Daniel ; Tronci, Enrico Geist, Daniel ; Tronci, EnricoBerlin, Heidelberg: Springer Berlin Heidelberg 2003Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Co-verification of Hardware and Software for ARM SoC DesignJason R. AndrewsNewnes 2005Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Hardware Verification with SystemVerilog: An Object Oriented FrameworkMintz, Mike ; Ekendahl, RobertBoston, MA: Springer-Verlag 2007Sem texto completo |
6 |
Material Type: Livro
|
![]() |
Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian LandraultWunderlich, Hans-Joachim Wunderlich, Hans-Joachim ; Wunderlich, Hans-JoachimDordrecht: Springer Nature 2009Sem texto completo |
7 |
Material Type: Livro
|
![]() |
Fuzzy Hardware: Architectures and ApplicationsKandel, Abraham ; Langholz, GideonNew York, NY: Springer 1997Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
e Hardware Verification LanguageIman, Sasan ; Joshi, SunitaBoston, MA: Springer 2007Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications: Concurrent Action Oriented SpecificationsSingh, Gaurav ; Shukla, Sandeep KNew York, NY: Springer Science + Business Media 2010Sem texto completo |
10 |
Material Type: Livro
|
![]() |
Hardware Verification with C++: A Practitioner's HandbookMintz, Mike ; Ekendahl, RobertNew York, NY: Springer 2006Sem texto completo |