Cover Image
Read Now

1
by Vyas, J. Jaidev, Gopalsamy, Balamurugan, Joshi, Harshavardhan
Published 2019
Springer Nature Singapore
Table of Contents: “... -- System Identification -- Results and Discussion -- Conclusion...”
Cover Image
Read Now

2
by Walker, D.M.
Published 1987
Springer US
Table of Contents: “... -- 6. VLASIC Implementation -- 7. Redundancy Analysis System -- 8. Fabrication Data -- 9. Conclusions...”
Cover Image
Read Now

3
Published 2013
Springer Vienna
Table of Contents: “...The CESAR concept -- The system design life cycle -- Requirements engineering -- Architecture...”
Cover Image
Read Now

4
by Bhattacharya, Debashis, Hayes, John P.
Published 1990
Springer US
Table of Contents: “...1 Introduction -- 1.1 Background -- 1.2 Prior Work -- 1.3 Outline -- 2 Circuit and Fault Modeling...”
Cover Image
Read Now

5
by Jha, Niraj K., Kundu, Sandip
Published 1990
Springer US
Table of Contents: “... Circuits -- 1.4 Gate-Level Model -- 1.5 Fault Models -- References -- Problems -- 2. Test Invalidation...”
Cover Image
Read Now

6
by White, Jacob K., Sangiovanni-Vincentelli, Alberto L.
Published 1987
Springer US
Table of Contents: “...1 — Introduction -- Section 1.1 — Simulation For IC Design -- Section 1.2 — Circuit Simulation...”
Cover Image
Read Now

7
by Jabri, Marwan A.
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... The Problem -- 1.5 This Volume -- 2 Integrated Circuit Floorplanning -- 2.1 Introduction -- 2.2 Top-Down...”
Cover Image
Read Now

8
by Prasad, Shankara K.
Published 2004
Springer US
Subjects: “...Electronic Circuits and Systems...”
Cover Image
Read Now

9
by Ganai, Malay, Gupta, Aarti
Published 2007
Springer US
Table of Contents: “...-Clock Systems -- Proof Methods -- Proof by Induction -- Unbounded Model Checking -- Abstraction...”
Cover Image
Read Now

10
by Seising, Rudolf
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... and Probabilistic Metrics -- General Systems Theory and Cybernetics -- From Circuit Theory to System Theory -- Fuzzy...”
Cover Image
Read Now

11
by Kumar, Kaushik, Zindani, Divya, Davim, J. Paulo
Published 2019
Springer Nature Singapore
Subjects: “...Electronic Circuits and Systems...”
Cover Image
Read Now

12
by Silveira, Fernando, Flandre, Denis
Published 2004
Springer US
Table of Contents: “...1 Implantable Cardiac Pacemakers -- 2. Industrial Implementation of Pacemaker Integrated Circuit...”
Cover Image
Read Now

13
by Dewey, Allen M., Director, Stephen W.
Published 1990
Springer US
Table of Contents: “...1 Introduction -- 1.1 Benefits of VLSI System Planning -- 1.2 VLSI System Planning Overview -- 1.3...”
Cover Image
Read Now

14
Published 1993
Springer US
Table of Contents: “...8.5 Example: A Typical Small Air-Conditioning System -- 8.6 Electric Heaters -- 8.7 Reduced-Voltage...”
Cover Image
Read Now

15
by Katz, Randy H.
Published 1985
Springer Berlin Heidelberg
Table of Contents: “...1 Computer-Aided Design Tools and Systems -- 1.1 What is Design? -- 1.2 What is Computer-Aided...”
Cover Image
Read Now

16
Published 2018
Springer Nature Singapore
Table of Contents: “... threshold based on statistical change-point detection -- 22 automated computer vision system based on color...”
Cover Image
Read Now

17
Published 1986
Springer Berlin Heidelberg
Table of Contents: “...1 CAD Systems and Their Interface with CAM -- 1.1 Introduction -- 1.2 Philosophy of the Application...”
Cover Image
Read Now

18
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...Minimalist Proof Assistants: Interactions of Technology and Methodology in Formal System Level...”
Cover Image
Read Now

19
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Checking of Analog and Mixed-Signal Circuits Using an SMT Solver -- Model Checking Contracts – A Case Study...”
Cover Image
Read Now

20
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...: Retargetable Code Generation for Embedded Systems -- Verification of Analog and Mixed-Signal Circuits Using...”