|
|
|
ASIC/SoC Functional Design Verification [electronic resource] : A Comprehensive Guide to Technologies and Methodologies / by Ashok B. Mehta.
by Mehta, Ashok B [author.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Verification of Simulink/Stateflow Diagrams [electronic resource] : A Deductive Approach / by Naijun Zhan, Shuling Wang, Hengjun Zhao.
by Zhan, Naijun [author.] | Wang, Shuling [author.] | Zhao, Hengjun [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects [electronic resource] / by Nuno Lourenço, Ricardo Martins, Nuno Horta.
by Lourenço, Nuno [author.] | Martins, Ricardo [author.] | Horta, Nuno [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Designing with Xilinx® FPGAs [electronic resource] : Using Vivado / edited by Sanjay Churiwala.
by Churiwala, Sanjay [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Design for Manufacturability with Advanced Lithography [electronic resource] / by Bei Yu, David Z. Pan.
by Yu, Bei [author.] | Pan, David Z [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Digital Systems [electronic resource] : From Logic Gates to Processors / by Jean-Pierre Deschamps, Elena Valderrama, Lluís Terés.
by Deschamps, Jean-Pierre [author.] | Valderrama, Elena [author.] | Terés, Lluís [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Model-Implementation Fidelity in Cyber Physical System Design [electronic resource] / edited by Anca Molnos, Christian Fabre.
by Molnos, Anca [editor.] | Fabre, Christian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Fundamentals of Electronic Systems Design [electronic resource] / by Jens Lienig, Hans Bruemmer.
by Lienig, Jens [author.] | Bruemmer, Hans [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Neuro-inspired Computing Using Resistive Synaptic Devices [electronic resource] / edited by Shimeng Yu.
by Yu, Shimeng [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Hardware Security and Trust [electronic resource] : Design and Deployment of Integrated Circuits in a Threatened Environment / edited by Nicolas Sklavos, Ricardo Chaves, Giorgio Di Natale, Francesco Regazzoni.
by Sklavos, Nicolas [editor.] | Chaves, Ricardo [editor.] | Di Natale, Giorgio [editor.] | Regazzoni, Francesco [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Testing of Interposer-Based 2.5D Integrated Circuits [electronic resource] / by Ran Wang, Krishnendu Chakrabarty.
by Wang, Ran [author.] | Chakrabarty, Krishnendu [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Reliable Software for Unreliable Hardware [electronic resource] : A Cross Layer Perspective / by Semeen Rehman, Muhammad Shafique, Jörg Henkel.
by Rehman, Semeen [author.] | Shafique, Muhammad [author.] | Henkel, Jörg [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
New Data Structures and Algorithms for Logic Synthesis and Verification [electronic resource] / by Luca Gaetano Amaru.
by Amaru, Luca Gaetano [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
FPGAs for Software Programmers [electronic resource] / edited by Dirk Koch, Frank Hannig, Daniel Ziener.
by Koch, Dirk [editor.] | Hannig, Frank [editor.] | Ziener, Daniel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
