Ingredients for Successful System Level Design Methodology

Ingredients for Successful System Level Design Methodology

System Level Design (SLD) and Electronic System Level (ESL) Design are buzzwords of todayâ€˜s Electronic Design Automation industry. The idea is to raise the level of abstraction of the design entry for future hardware systems beyond the register transfer level. This is necessitated by the increasin...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Patel, Hiren D. (Συγγραφέας), Shukla, Sandeep K. (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht : Springer Netherlands, 2008.
Θέματα:	Engineering. Special purpose computers. Software engineering. Mathematical logic. Electronic circuits. Circuits and Systems. Special Purpose and Application-Based Systems. Software Engineering/Programming and Operating Systems. Mathematical Logic and Formal Languages.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Electronics System Design Techniques for Safety Critical Applications
ανά: Sterpone, Luca
Έκδοση: (2009)

Hardware-dependent Software Principles and Practice /
Έκδοση: (2009)

Embedded Systems Specification and Design Languages Selected contributions from FDL’07 /
Έκδοση: (2008)

Collaborative Design for Embedded Systems Co-modelling and Co-simulation /
Έκδοση: (2014)

Harnessing VLSI System Design with EDA Tools
ανά: Kamat, Rajanish K., κ.ά.
Έκδοση: (2012)

UML for SOC Design
Έκδοση: (2005)

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
Έκδοση: (2013)

Unleash the System On Chip using FPGAs and Handel C
ανά: Kamat, Rajanish K., κ.ά.
Έκδοση: (2009)

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings /
Έκδοση: (2017)

Electrical Design of Through Silicon Via
Έκδοση: (2014)

Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms
ανά: Wieferink, Andreas, κ.ά.
Έκδοση: (2008)

Dynamic System Reconfiguration in Heterogeneous Platforms The MORPHEUS Approach /
Έκδοση: (2009)

Views on Evolvability of Embedded Systems
Έκδοση: (2011)

Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss /
Έκδοση: (2011)

Algorithm & SoC Design for Automotive Vision Systems For Smart Safe Driving System /
Έκδοση: (2014)

High-Performance Computing on the Intel® Xeon Phi™ How to Fully Exploit MIC Architectures /
ανά: Wang, Endong, κ.ά.
Έκδοση: (2014)

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
ανά: Kogel, Tim, κ.ά.
Έκδοση: (2006)

Analog Circuit Design Low Voltage Low Power; Short Range Wireless Front-Ends; Power Management and DC-DC /
Έκδοση: (2012)

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
Έκδοση: (2015)

Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
Έκδοση: (2015)

Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /
Έκδοση: (2016)

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
Έκδοση: (2016)

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /
Έκδοση: (2014)

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings /
Έκδοση: (2017)

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Έκδοση: (2012)

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings /
Έκδοση: (2017)

Security Trends for FPGAS From Secured to Secure Reconfigurable Systems /
Έκδοση: (2011)

Methodologies for Control of Jump Time-Delay Systems
ανά: Mahmoud, Magdi S., κ.ά.
Έκδοση: (2003)

Language-driven Exploration and Implementation of Partially Re-configurable ASIPs
ανά: Chattopadhyay, Anupam, κ.ά.
Έκδοση: (2009)

Guide to FPGA Implementation of Arithmetic Functions
ανά: Deschamps, Jean-Pierre, κ.ά.
Έκδοση: (2012)

Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings /
Έκδοση: (2011)

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
Έκδοση: (2013)

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences /
ανά: Burton, Mark, κ.ά.
Έκδοση: (2006)

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06 /
Έκδοση: (2007)

Processor Design System-on-Chip Computing for ASICs and FPGAs /
Έκδοση: (2007)

FPGA Implementations of Neural Networks
Έκδοση: (2006)

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /
Έκδοση: (2017)

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components /
Έκδοση: (2007)

Functional Verification of Programmable Embedded Architectures A Top-Down Approach /
ανά: Mishra, Prabhat, κ.ά.
Έκδοση: (2005)

Designing Embedded Processors A Low Power Perspective /
Έκδοση: (2007)

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