Better Software. Faster!

Better Software. Faster!
Author: Tom De Schutter
Publisher: Happy About
Total Pages: 201
Release: 2014-03-17
Genre: Computers
ISBN: 1617300136

The recent rise of "smart" products has been made possible through tight co-design of hardware and software. The growing amount of software and hence processors in applications all around us allows for increased flexibility in the application functionality through its life cycle. Not so long ago a device felt outdated after you owned it for a couple of months. Today, a continuous stream of new software applications and updates make products feel truly "smart". The result is an almost magical user experience where the same product can do more today than it could do yesterday.

In this book we dive deep into a key methodology to enable concurrent hardware/software development by decoupling the dependency of the software development from hardware availability: virtual prototyping. The ability to start software development much earlier in the design cycle drives a true "shift-left" of the entire product development schedule and results in better products that are available earlier in the market.

Throughout the book, case studies illustrate how virtual prototypes are being deployed by major companies around the world. If you are interested in a quick feel for what virtual prototyping has to offer for practical deployment, we recommend picking a few case studies to read, before diving into the details of the methodology.

Of course, this book can only offer a small snapshot of virtual prototype use cases for faster software development. However, as most software bring-up, debug and test principles are similar across markets and applications, it is not hard to realize why virtual prototypes are being leveraged whenever software is an intrinsic part of the product functionality, after reading this book.

Enhancing Embedded Systems Simulation

Enhancing Embedded Systems Simulation
Author: Christian Köhler
Publisher: Springer
Total Pages: 238
Release: 2011-03-29
Genre: Computers
ISBN: 383489916X

Christian Köhler covers the connection between μC and simulation, the interface abstraction as well as the analysis and optimization of coupling systems with the Chip-Hardware-in-the-Loop Simulation (CHILS) approach. He develops the hardware to simulation coupling system with a focus on less hardware effort, the capabilities to couple with different simulation environments, and the efficiency of coupling. Furthermore, the author presents existing concepts to simulate complex systems and compares them with the new approach.

Embedded Software Verification and Debugging

Embedded Software Verification and Debugging
Author: Djones Lettnin
Publisher: Springer
Total Pages: 220
Release: 2017-04-17
Genre: Technology & Engineering
ISBN: 1461422663

This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification. This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.

Logic Synthesis and SOC Prototyping

Logic Synthesis and SOC Prototyping
Author: Vaibbhav Taraate
Publisher: Springer Nature
Total Pages: 260
Release: 2020-01-03
Genre: Technology & Engineering
ISBN: 9811513147

This book describes RTL design, synthesis, and timing closure strategies for SOC blocks. It covers high-level RTL design scenarios and challenges for SOC design. The book gives practical information on the issues in SOC and ASIC prototyping using modern high-density FPGAs. The book covers SOC performance improvement techniques, testing, and system-level verification. The book also describes the modern Xilinx FPGA architecture and their use in SOC prototyping. The book covers the Synopsys DC, PT commands, and use of them to constraint and to optimize SOC design. The contents of this book will be of use to students, professionals, and hobbyists alike.

Computer Systems: Architectures, Modeling, and Simulation

Computer Systems: Architectures, Modeling, and Simulation
Author: Andy Pimentel
Publisher: Springer Science & Business Media
Total Pages: 570
Release: 2004-07-05
Genre: Computers
ISBN: 3540223770

This book constitutes the refereed proceedings of the 4th International Workshop on Systems, Architectures, Modeling, and Simulation, SAMOS 2004, held in Samos, Greece on July 2004. Besides the SAMOS 2004 proceedings, the book also presents 19 revised papers from the predecessor workshop SAMOS 2003. The 55 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reconfigurable computing, architectures and implementation, and systems modeling and simulation.

SoC Emulation

SoC Emulation
Author: Bernard Murphy
Publisher: Createspace Independent Publishing Platform
Total Pages: 76
Release: 2018-02
Genre:
ISBN: 9781986284707

When you turn the key in a modern car, you set in motion a chain of electronic events more complex, in some cases, than you'll find in a Boeing 787 or an F22 jet-fighter. The magic that makes this possible is captured in the many System-on-Chip (SoC) devices and software you'll find buried around the car. Leveraging many of the concepts at the heart of your smartphone, each of these SoC devices is itself very complex and must be validated extensively before manufacturing, to prove that it will always operate correctly and safely. Traditional methods used in validation, primarily simulation, are still widely used but are simply too slow to allow for the exhaustive levels of testing required to have high confidence in validation. This need has driven the semiconductor support industry to create special-purpose emulation engines to massively accelerate the SoC verification task. This book, targeted to general readers in the semiconductor and systems industry, describes the origins of SoC emulation and different approaches to addressing the need. It also describes some of the newer applications for emulation in SoC design. To illustrate current usage the second part of the book discusses how SoC emulation can be applied to verifying a controller for the solid-state drive (SSD) data storage now found in many modern devices.

Architecting and Building High-Speed SoCs

Architecting and Building High-Speed SoCs
Author: Mounir Maaref
Publisher: Packt Publishing Ltd
Total Pages: 426
Release: 2022-12-09
Genre: Computers
ISBN: 1801819858

Design a high-speed SoC while gaining a holistic view of the FPGA design flow and overcoming its challenges. Purchase of the print or kindle book includes a free eBook in the PDF format. Key FeaturesUse development tools to implement and verify an SoC, including ARM CPUs and the FPGA logicOvercome the challenge of time to market by using FPGA SoCs and avoid the prohibitive ASIC NRE costUnderstand the integration of custom logic accelerators and the SoC software and build themBook Description Modern and complex SoCs can adapt to many demanding system requirements by combining the processing power of ARM processors and the feature-rich Xilinx FPGAs. You'll need to understand many protocols, use a variety of internal and external interfaces, pinpoint the bottlenecks, and define the architecture of an SoC in an FPGA to produce a superior solution in a timely and cost-efficient manner. This book adopts a practical approach to helping you master both the hardware and software design flows, understand key interconnects and interfaces, analyze the system performance and enhance it using the acceleration techniques, and finally build an RTOS-based software application for an advanced SoC design. You'll start with an introduction to the FPGA SoCs technology fundamentals and their associated development design tools. Gradually, the book will guide you through building the SoC hardware and software, starting from the architecture definition to testing on a demo board or a virtual platform. The level of complexity evolves as the book progresses and covers advanced applications such as communications, security, and coherent hardware acceleration. By the end of this book, you'll have learned the concepts underlying FPGA SoCs' advanced features and you'll have constructed a high-speed SoC targeting a high-end FPGA from the ground up. What you will learnUnderstand SoC FPGAs' main features, advanced buses and interface protocolsDevelop and verify an SoC hardware platform targeting an FPGA-based SoCExplore and use the main tools for building the SoC hardware and softwareBuild advanced SoCs using hardware acceleration with custom IPsImplement an OS-based software application targeting an FPGA-based SoCUnderstand the hardware and software integration techniques for SoC FPGAsUse tools to co-debug the SoC software and hardwareGain insights into communication and DSP principles in FPGA-based SoCsWho this book is for This book is for FPGA and ASIC hardware and firmware developers, IoT engineers, SoC architects, and anyone interested in understanding the process of developing a complex SoC, including all aspects of the hardware design and the associated firmware design. Prior knowledge of digital electronics, and some experience of coding in VHDL or Verilog and C or a similar language suitable for embedded systems will be required for using this book. A general understanding of FPGA and CPU architecture will also be helpful but not mandatory.

Field Programmable Logic and Application

Field Programmable Logic and Application
Author: Jürgen Becker
Publisher: Springer Science & Business Media
Total Pages: 1226
Release: 2004-08-19
Genre: Computers
ISBN: 3540229892

This book constitutes the refereed proceedings of the 14th International Conference on Field-Programmable Logic, FPL 2003, held in Leuven, Belgium in August/September 2004. The 78 revised full papers, 45 revised short papers, and 29 poster abstracts presented together with 3 keynote contributions and 3 tutorial summaries were carefully reviewed and selected from 285 papers submitted. The papers are organized in topical sections on organic and biologic computing, security and cryptography, platform-based design, algorithms and architectures, acceleration application, architecture, physical design, arithmetic, multitasking, circuit technology, network processing, testing, applications, signal processing, computational models and compiler, dynamic reconfiguration, networks and optimisation algorithms, system-on-chip, high-speed design, image processing, network-on-chip, power-aware design, IP-based design, co-processing architectures, system level design, physical interconnect, computational models, cryptography and compression, network applications and architecture, and debugging and test.

Simulation Tools and Techniques

Simulation Tools and Techniques
Author: Houbing Song
Publisher: Springer Nature
Total Pages: 780
Release: 2021-05-27
Genre: Mathematics
ISBN: 3030727955

This two-volume set constitutes the refereed post-conference proceedings of the 12th International Conference on Simulation Tools and Techniques, SIMUTools 2020, held in Guiyang, China, in August 2020. Due to COVID-19 pandemic the conference was held virtually. The 125 revised full papers were carefully selected from 354 submissions. The papers focus on simulation methods, simulation techniques, simulation software, simulation performance, modeling formalisms, simulation verification and widely used frameworks.