Listing 1 - 3 of 3 |
Sort by
|
Choose an application
Computer software --- Software frameworks. --- Software prototyping. --- Human factors.
Choose an application
Much as we hate to admit it, most prototyping practice lacks a sophisticated understanding of the broad concepts of prototyping-and its strategic position within the development process. Often we overwhelm with a high fidelity prototype that designs us into a corner. Or, we can underwhelm with a prototype with too much ambiguity and flexibility to be of much use in the software development process. This book will help software makers-developers, designers, and architects-build effective prototypes every time: prototypes that convey enough information about the product at the appropriat
Computer software --- Computers. --- Development. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Development of computer software --- Software development --- Software prototyping. --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace
Choose an application
This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects. Provides a comprehensive set of techniques to enhance all key aspects of a Virtual Prototype (VP)-based design flow Includes automated formal verification methods and advanced coverage-guided testing techniques, tailored for SystemC-based VPs Describes efficient, coverage-guided test generation methods for VP-based functional and non-functional software (SW) analysis and verification Includes correspondence analyses to utilize information between different abstraction levels in the design flow Uses several VP and SW verification case-studies that target the modern RISC-V ISA.
Electronic circuits. --- Computer engineering. --- Internet of things. --- Embedded computer systems. --- Circuits and Systems. --- Cyber-physical systems, IoT. --- Embedded systems (Computer systems) --- Computer systems --- Architecture Analysis and Design Language --- IoT (Computer networks) --- Things, Internet of --- Computer networks --- Embedded Internet devices --- Machine-to-machine communications --- Computers --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Electronics --- Design and construction --- Software prototyping. --- Experimental software engineering --- Prototyping, Software --- Computer software --- Prototypes, Engineering --- Development
Listing 1 - 3 of 3 |
Sort by
|