System-Level Validation High-Level Modeling and Directed Test Generation Techniques /

System-Level Validation High-Level Modeling and Directed Test Generation Techniques /

This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures. Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, i...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Chen, Mingsong (Συγγραφέας), Qin, Xiaoke (Συγγραφέας), Koo, Heon-Mo (Συγγραφέας), Mishra, Prabhat (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	New York, NY : Springer New York : Imprint: Springer, 2013.
Θέματα:	Engineering. Microprocessors. Electronics. Microelectronics. Electronic circuits. Circuits and Systems. Electronics and Microelectronics, Instrumentation. Processor Architectures.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

High-Level Modeling and Synthesis of Analog Integrated Systems
ανά: Martens, Ewout S. J., κ.ά.
Έκδοση: (2008)

High Quality Test Pattern Generation and Boolean Satisfiability
ανά: Eggersglüß, Stephan, κ.ά.
Έκδοση: (2012)

Disruptive Logic Architectures and Technologies From Device to System Level /
ανά: Gaillardon, Pierre-Emmanuel, κ.ά.
Έκδοση: (2012)

Parallel Sparse Direct Solver for Integrated Circuit Simulation
ανά: Chen, Xiaoming, κ.ά.
Έκδοση: (2017)

More than Moore Technologies for Next Generation Computer Design
Έκδοση: (2015)

Embedded Systems Design for High-Speed Data Acquisition and Control
ανά: Di Paolo Emilio, Maurizio
Έκδοση: (2015)

Analysis and Design of Networks-on-Chip Under High Process Variation
ανά: Ezz-Eldin, Rabab, κ.ά.
Έκδοση: (2015)

Techniques for Building Timing-Predictable Embedded Systems
ανά: Guan, Nan
Έκδοση: (2016)

An ASIC Low Power Primer Analysis, Techniques and Specification /
ανά: Chadha, Rakesh, κ.ά.
Έκδοση: (2013)

Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems /
ανά: Tlelo-Cuautle, Esteban, κ.ά.
Έκδοση: (2016)

Debugging Systems-on-Chip Communication-centric and Abstraction-based Techniques /
ανά: Vermeulen, Bart, κ.ά.
Έκδοση: (2014)

The Art of Hardware Architecture Design Methods and Techniques for Digital Circuits /
ανά: Arora, Mohit
Έκδοση: (2012)

Analog Integrated Circuit Design Automation Placement, Routing and Parasitic Extraction Techniques /
ανά: Martins, Ricardo, κ.ά.
Έκδοση: (2017)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013 /
Έκδοση: (2015)

Arbitrary Modeling of TSVs for 3D Integrated Circuits
ανά: Salah, Khaled, κ.ά.
Έκδοση: (2015)

Multiprocessor Scheduling for Real-Time Systems
ανά: Baruah, Sanjoy, κ.ά.
Έκδοση: (2015)

Dynamic Memory Management for Embedded Systems
ανά: Atienza Alonso, David, κ.ά.
Έκδοση: (2015)

FPGA Design Best Practices for Team-based Reuse /
ανά: Simpson, Philip Andrew
Έκδοση: (2015)

Wideband CMOS Receivers
Έκδοση: (2015)

Three-Dimensional Design Methodologies for Tree-based FPGA Architecture
ανά: Pangracious, Vinod, κ.ά.
Έκδοση: (2015)

Smart Systems Integration and Simulation
Έκδοση: (2016)

IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection /
ανά: Mohamed, Khaled Salah
Έκδοση: (2016)

Reliable Software for Unreliable Hardware A Cross Layer Perspective /
ανά: Rehman, Semeen, κ.ά.
Έκδοση: (2016)

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications /
ανά: Mehta, Ashok B.
Έκδοση: (2016)

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /
Έκδοση: (2016)

Heterogeneous Reconfigurable Processors for Real-Time Baseband Processing From Algorithm to Architecture /
ανά: Zhang, Chenxin, κ.ά.
Έκδοση: (2016)

FPGAs for Software Programmers
Έκδοση: (2016)

Design for Manufacturability with Advanced Lithography
ανά: Yu, Bei, κ.ά.
Έκδοση: (2016)

Memory Controllers for Mixed-Time-Criticality Systems Architectures, Methodologies and Trade-offs /
ανά: Goossens, Sven, κ.ά.
Έκδοση: (2016)

Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems /
ανά: Moutinho, Filipe de Carvalho, κ.ά.
Έκδοση: (2016)

Reversible and Quantum Circuits Optimization and Complexity Analysis /
ανά: Abdessaied, Nabila, κ.ά.
Έκδοση: (2016)

Multi-Net Optimization of VLSI Interconnect
ανά: Moiseev, Konstantin, κ.ά.
Έκδοση: (2015)

Low Power Interconnect Design
ανά: Saini, Sandeep
Έκδοση: (2015)

Microarchitecture of Network-on-Chip Routers A Designer's Perspective /
ανά: Dimitrakopoulos, Giorgos, κ.ά.
Έκδοση: (2015)

Foundations of Hardware IP Protection
Έκδοση: (2017)

Structured Analog CMOS Design
ανά: Stefanović, Danica, κ.ά.
Έκδοση: (2008)

Programming Heterogeneous MPSoCs Tool Flows to Close the Software Productivity Gap /
ανά: Castrillón Mazo, Jerónimo, κ.ά.
Έκδοση: (2014)

Embedded Memory Design for Multi-Core and Systems on Chip
ανά: Mohammad, Baker
Έκδοση: (2014)

Smart Multicore Embedded Systems
Έκδοση: (2014)

Source-Synchronous Networks-On-Chip Circuit and Architectural Interconnect Modeling /
ανά: Mandal, Ayan, κ.ά.
Έκδοση: (2014)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_km0r62ahd06g8ond0erlj8c0vq