Ditapis dengan
Assertion-Based Design
Assertion Methodology -- Specifying RTL Properties -- PLI-Based Assertions -- Functional Coverage -- Assertion Patterns -- Assertion Cookbook -- Specifying Correct Behavior.Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety versus liveness 66 3. 2. 1 3. 2. 2 Constraint versus assertion 67 3. 2. 3 D…
- Edisi
- 2nd ed.
- ISBN/ISSN
- 9781402080289
- Deskripsi Fisik
- XXIII, 390 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Design and Specification Languages for SoCs
Analog and Mixed-Signal Systems -- Refinement of Mixed-Signal Systems: Between Heaven and Hell -- Mixed Nets, Conversion Models, and VHDL-AMS -- Monte Carlo Simulation Using VHDL-AMS -- Early Prediction of Conducted-Mode Emission of Complex Ic’s -- Practical Case Example of Inertial Mems Modeling with VHDL-AMS -- UML-Based System Specification and Design -- Metamodels and MDA Transformations …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387261515
- Deskripsi Fisik
- X, 305 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Advances in Control, Communication Networks, and Transportation Systems
Hybrid Systems -- Polytopic Approximations of Reachable Sets Applied to Linear Dynamic Games and a Class of Nonlinear Systems -- On the Problem of Measurement Feedback Control: Ellipsoidal Techniques -- Stability of Hybrid Systems and Related Questions from Systems Biology -- System Theory and Design -- Martingale Representation and All That -- Engineering Education: A Focus on Systems -- New D…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780817644093
- Deskripsi Fisik
- XXXV, 358 p. 80 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Wideband Low Noise Amplifiers Exploiting Thermal Noise Cancellation
Preface -- 1. Introduction -- 2. Systematic Generation of All Elementary Wide-Band Amplifiers -- 3. 2-MOST Amplifiers: Analysis and Design -- 4. Wide-Band Low-Noise Techniques -- 5. Design of a Decade Bandwidth Noise Cancelling CMOS LNA -- 6. Summary and Conclusions -- Appendix A: Two-port Amplifiers Stability and {A, B, C, D} Parameters -- Appendix B: Biasing noise in Noise-cancelling Amplifie…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402031885
- Deskripsi Fisik
- X, 182 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
VLSI-Design of Non-Volatile Memories
Non-Volatile Memory Design -- Process Aspects -- The MOSFET Transistor and the Memory Cell -- Passive Components -- Fundamental Circuit Blocks -- Layout -- The Organization of the Memory Array -- The Input Buffer -- Decoders -- Boost -- Synchronization Circuits -- Reading Circuits -- Multilevel Read -- Program and Erase Algorithms -- Circuits Used in Program and Erase Operations -- High-Voltage…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540265009
- Deskripsi Fisik
- XXVIII, 582 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
UML for SOC Design
When Worlds Collide: Can UML Help SoC Design? -- Why Systems-on-Chip needs More UML like a Hole in the Head -- UML as a Framework for Combining Different Models of Computation -- A Generic Model Execution Platform for the Design of Hardware and Software -- Hardware/Software Codesign of Reconfigurable Architectures Using UML -- A Methodology for Bridging the Gap between UML and Codesign -- UML T…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387257457
- Deskripsi Fisik
- XII, 272 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Turbo Code Applications
Book Introduction -- Iterative Codes in Magnetic Storage Systems -- Turbo Product Codes for Optical Recording Systems -- Turbo and Turbo-like Code Design in ADSL Modems -- Turbo Codes for Single-Mode and Multimode Fiber Optic Communications -- Iterative Demodulation and Decoding -- Turbo Receiver Techniques for Coded MIMO OFDM Systems -- Space-Time Turbo Coded Modulation for Future Wireless Com…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402036859
- Deskripsi Fisik
- XXII, 386 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Transient Analysis of Electric Power Circuits Handbook
Classical Approach to Transient Analysis -- Transient Response of Basic Circuits -- Transient Analysis Using the Laplace Transform Techniques -- Transient Analysis Using the Fourier Transform -- Transient Analysis Using State Variables -- Transients in Three-Phase Systems -- Transient Behavior of Transmission Lines (TL) -- Static and Dynamic Stability of Power Systems.Every now and then, a good…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387287997
- Deskripsi Fisik
- XVIII, 570 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Taxonomies for the Development and Verification of Digital Systems
Model Taxonomy -- Functional Verification Taxonomy -- Platform-Based Design -- Hardware-Dependent Software."In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By providing definitions for the terms used in the modeling, implementation, and verification of electronic systems, the taxonomies described in this book will help us find a …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387240213
- Deskripsi Fisik
- XX, 180 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
System-level Test and Validation of Hardware/Software Systems
Modeling Permanent Faults -- Test Generation: A Symbolic Approach -- Test Generation: A Heuristic Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level Microprocessor Descriptions -- Tackling Concurrency and Timing Problems -- An Approach to System-level Design for Test -- System-level Dependability Analysis.New manufacturing technologies have made poss…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846281457
- Deskripsi Fisik
- XII, 179 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah