Inicio > > Aplicaciones gráficas y multimedia > Diseño asistido por ordenador (CAD) > Scalable Hardware Verification with Symbolic Simulation
Scalable Hardware Verification with Symbolic Simulation

Scalable Hardware Verification with Symbolic Simulation

Valeria Bertacco

146,64 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2010
Materia
Diseño asistido por ordenador (CAD)
ISBN:
9781441937391
146,64 €
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

Design and Verification of Digital Systems.- Symbolic Simulation.- Compacting Intermediate States.- Approximate Simulation.- Exact Parametrizations.- Conclusion.

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

  • Scalable Hardware Verification with Symbolic Simulation
    Valeria Bertacco
    This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design. Formal Verification: Scalable Hardware Verification with Symbolic Simulation expl...
    Disponible

    182,18 €