Inicio > > Aplicaciones gráficas y multimedia > Diseño asistido por ordenador (CAD) > High-Level Verification
High-Level Verification

High-Level Verification

Rajesh K. Gupta / Sorin Lerner / Sudipta Kundu

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

Introduction.- Related Work.- Background.- Execution-based Model Checking for High-Level Designs.- Efficient Symbolic Analysis for Concurrent Programs.- Translation Validation of High-Level Synthesis.- Parameterized Program Equivalence Checking.- Conclusions and Future Work.

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

  • High-Level Verification
    Rajesh K. Gupta / Sorin Lerner / Sudipta Kundu
    Given the growing size and heterogeneity of Systems on Chip (SOC), the design process from initial specification to chip fabrication has become increasingly complex. This growing complexity provides incentive for designers to use high-level languages such as C, SystemC, and SystemVerilog for system-level design. While a major goal of these high-level languages is to enable veri...
    Disponible

    134,43 €