Correct-by-Construction Approaches for SoC Design

Correct-by-Construction Approaches for SoC Design

This book describes an approach for designing Systems-on-Chip such that the system meets precise mathematical requirements. The methodologies presented enable embedded systems designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically g...

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

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

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

SystemC and SystemC-AMS in Practice SystemC 2.3, 2.2 and SystemC-AMS 1.0 /
ανά: Banerjee, Amal, κ.ά.
Έκδοση: (2014)

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

VLSI Design A Practical Guide for FPGA and ASIC Implementations /
ανά: Chandrasetty, Vikram Arkalgud
Έκδοση: (2011)

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

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

Designing with Xilinx® FPGAs Using Vivado /
Έκδοση: (2017)

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

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

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

Fundamentals of Computer Architecture and Design
ανά: Bindal, Ahmet
Έκδοση: (2017)

Digital VLSI Design with Verilog A Textbook from Silicon Valley Polytechnic Institute /
ανά: Williams, John Michael
Έκδοση: (2014)

Embedded Systems Design with FPGAs
Έκδοση: (2013)

System Specification and Design Languages Selected Contributions from FDL 2010 /
Έκδοση: (2012)

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

Constraining Designs for Synthesis and Timing Analysis A Practical Guide to Synopsys Design Constraints (SDC) /
ανά: Gangadharan, Sridhar, κ.ά.
Έκδοση: (2013)

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

Designing TSVs for 3D Integrated Circuits
ανά: Khan, Nauman, κ.ά.
Έκδοση: (2013)

Models, Methods, and Tools for Complex Chip Design Selected Contributions from FDL 2012 /
Έκδοση: (2014)

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

Embedded Systems Design with Special Arithmetic and Number Systems
Έκδοση: (2017)

Model-Implementation Fidelity in Cyber Physical System Design
Έκδοση: (2017)

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

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

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

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

Designing 2D and 3D Network-on-Chip Architectures
ανά: Tatas, Konstantinos, κ.ά.
Έκδοση: (2014)

Analog Circuit Design for Process Variation-Resilient Systems-on-a-Chip
ανά: Onabajo, Marvin, κ.ά.
Έκδοση: (2012)

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)

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

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

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

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

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

FPGAs for Software Programmers
Έκδοση: (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)

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

Cannot write session to /tmp/vufind_sessions/sess_7pod4q394tk65adra0apr6c58p