Inicio > > Aplicaciones gráficas y multimedia > Diseño asistido por ordenador (CAD) > Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Chao Wang / Fabio Somenzi / Gary D. Hachtel

133,01 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2006
Materia
Diseño asistido por ordenador (CAD)
ISBN:
9780387341552
133,01 €
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 summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today’s digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial/in-house verification tools.

Artículos relacionados

  • Intelligent Industrial Systems
    In recent years, there has been growing interest in industrial systems, especially in robotic manipulators and mobile robot systems. As the cost of robots goes down and become more compact, the number of industrial applications of robotic systems increases. Moreover, there is need to design industrial systems with intelligence, autonomous decision making capabilities, and self-...
    Disponible

    237,17 €

  • SolidWorks Flow Simulation 2018 Black Book (Colored)
    Gaurav Verma / Samar
    The SolidWorks Flow Simulation 2018 Black Book is the 1st edition of our series on SolidWorks Flow Simulation. The book is targeted for beginners of SolidWorks Flow Simulation. This book covers the basic equations and terms of Fluid Dynamics theory. The book covers all the major tools of Flow Simulation modules like Fluid Flow, Thermal Fluid Flow, and Electronic Cooling modules...
    Disponible

    59,77 €

  • Autocad 2006 Vol II Incluye Contenido Multimedia
    ICB Editores
    Profundiza tus conocimientos en Autocad 2006. Incluye Solucionarios, Glosario, Bibliografía y Anexo. 10 ...
    Disponible

    39,95 €

  • SOLIDWORKS 2024
    CADArtifex / John Willis / Sandeep Dogra
    SOLIDWORKS 2024: A Power Guide for Beginners and Intermediate Users textbook is designed for both instructor-led courses and self-paced learning. It is intended to help engineers and designers interested in learning SOLIDWORKS for creating 3D mechanical designs. This is a valuable resource for new SOLIDWORKS users and a great teaching tool for classroom training. With 14 chapte...
    Disponible

    74,02 €

  • Autodesk Fusion 360 PCB Black Book (V 2.0.18719)
    Gaurav Verma / Matt Weber
    !!Newer edition of the book Autodesk Fusion PCB Black Book (V 2.0.21528) is available now!!The Autodesk Fusion 360 PCB Black Book (V 2.0.18719) is 2nd edition of our series on Autodesk Fusion 360 PCB. The book is updated on Autodesk Fusion 360 Ultimate, Student V 2.0.18719. With lots of features and thorough review, we present a book to help professionals as well as beginners i...
    Disponible

    60,31 €

  • FreeCAD 0.21
    CADArtifex / John Willis / Sandeep Dogra
    FreeCAD 0.21: A Power Guide for Beginners and Intermediate Users textbook has been designed for instructor-led courses as well as self-paced learning. It is intended to help engineers and designers interested in learning FreeCAD to create 3D mechanical designs. This textbook is an excellent guide for new FreeCAD users and a great teaching aid for classroom training. It consists...
    Disponible

    49,34 €

Otros libros del autor

  • Abstraction Refinement for Large Scale Model Checking
    Chao Wang / Fabio Somenzi / Gary D. Hachtel
    Symbolic Model Checking.- Abstraction.- Refinement.- Compositional SCC Analysis.- Disjunctive Decomposition.- Far Side Image Computation.- Refining SAT Decision Ordering.- Conclusions. ...
    Disponible

    171,26 €