System-Level Validation

System-Level Validation

Heon-Mo Koo / Mingsong Chen / Xiaoke Qin

157,72 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2014
ISBN:
9781489986290
157,72 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Kálamo Books
  • Librería Elías (Asturias)
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

Introduction.- Modeling and Specification of SoC Designs.- Automated Generation of Directed Tests.- Functional Test Compaction.- Property Clustering and Learning Techniques.- Decision Ordering Based Learning Techniques.- Synchronized Generation of Directed Tests.- Learning-Oriented Property Decomposition Approaches.- Directed Test Generation for Multicore Architectures.- Test Generation for Cache Coherence Validation.- Reuse of System-Level Tests for Implementation Validation.- Conclusion.

Artículos relacionados

  • Cases on Usability Engineering
    Information technologies play a significant role in modern information-driven societies, making a comprehensive understanding of digital media a fundamental requisite to success. Cases on Usability Engineering: Design and Development of Digital Products provides readers with case studies and real-life examples on usability methods and techniques to test the design and developme...
  • State-Of-The- Art Sensors Technology in France 2016
    This Special Issue aims to provide a comprehensive overview of state-of-the-art sensors technology in France. It includes research articles that consolidate our understanding of the state-of-the-art in this area and also four reviews on hot fields in sensor technology (nanomaterials, electronic tongue and optical fibre networks). ...
    Disponible

    59,78 €

  • VISIR HANDBOOK
    Gustavo R Alves / HERNANDEZ-JAYO UNAI / JAVIER GARCIA-ZUBIA / JAVIER GARCIA-ZUBIA UNAI HERNANDEZ-JAYO / Unai Hernández-Jayo
    In 2006, the Signal Processing Department at Blekinge Institute of Technology and Axiom EduTECH in Sweden worked with National Instruments Corporation in Texas, USA, to set up the Virtual Instrument Systems in Reality (VISIR) Project, which operates as a remote laboratory for electric and electronic circuits.The VISIR remote laboratory is currently the only system that delivers...
  • Neural Networks and Fuzzy Logic Control
    K. Sushita / N. Shanmugasundaram / T. R. Premila
    This textbook offers a unified engineering perspective on Neural Networks and Fuzzy Logic. The authors guide readers swiftly and succinctly through the intricate subjects of neural networks, fuzzy logic, and the mathematical modeling of Fuzzy Logic Control. The theory of fuzzy logic provides a mathematical framework to capture uncertainties related to human cognitive processes,...
    Disponible

    99,67 €

  • Tragbares System zur Messung der Außenluftqualität mit Arduino
    Mira Kartiwi / Teddy Surya Gunawan / Yasmin Mahira Saiful Munir
    Das jüngste Auftreten von Dunst in Malaysia hat die Öffentlichkeit dazu veranlasst, sich der aktuellen Luftqualität in ihrer Umgebung stärker bewusst zu werden. Denn Luftverschmutzung kann schwerwiegende Auswirkungen auf die menschliche Gesundheit und die Umwelt haben. Der Luftschadstoffindex (Air Pollutant Index, API) in Malaysia wird vom Umweltministerium (Department of Envir...
    Disponible

    61,36 €

  • Système portable de mesure de la qualité de l’air extérieur utilisant Arduino
    Mira Kartiwi / Teddy Surya Gunawan / Yasmin Mahira Saiful Munir
    L’apparition récente de la brume sèche en Malaisie a incité le public à être plus attentif à la qualité de l’air qui l’entoure. En effet, la pollution de l’air peut avoir de graves conséquences sur la santé humaine et l’environnement. L’indice des polluants atmosphériques (API) en Malaisie est mesuré par le ministère de l’environnement (DOE) à l’aide de stations de surveillance...
    Disponible

    61,42 €

Otros libros del autor

  • System-Level Validation
    Heon-Mo Koo / Mingsong Chen / Xiaoke Qin
    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, including high-level modeling of designs and faults, automated generation of dire...