Formal System Verification

Formal System Verification

Rolf Drechsler

159,20 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2017
ISBN:
9783319576831
159,20 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.

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...
    Disponible

    230,19 €

  • 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...
    Disponible

    130,28 €

  • 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

  • Formal System Verification
    Rolf Drechsler
    This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal metho...
    Disponible

    160,56 €

  • Advanced Formal Verification
    Rolf Drechsler
    Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today’s verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today’s formal verif...
    Disponible

    133,98 €

  • Evolutionary Algorithms for VLSI CAD
    Rolf Drechsler
    In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. While some of these methods have been shown to work well in applications and have become somewhat established over the years, other techniques have been ignored. Recently, there has been a growing in...
    Disponible

    134,37 €

  • Formal Verification of Circuits
    Rolf Drechsler
    Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification of such large designs becomes more and more difficult. Pure simulation cannot guarantee the correct behavior and exhaustive simulation is often impossible. However, many designs, like ALUs, have ve...
    Disponible

    208,16 €

  • Advanced Formal Verification
    Rolf Drechsler
    Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today’s verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today’s formal verif...
    Disponible

    132,61 €

  • Formal Verification of Circuits
    Rolf Drechsler
    Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification of such large designs becomes more and more difficult. Pure simulation cannot guarantee the correct behavior and exhaustive simulation is often impossible. However, many designs, like ALUs, have ve...
    Disponible

    206,80 €