Constraint-Based Verification

Constraint-Based Verification

Adnan Aziz / Carl Pixley / Jun Yuan

132,68 €
IVA incluido
Consulta disponibilidad
Editorial:
Springer Nature B.V.
Año de edición:
2006
ISBN:
9780387259475

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)
¡Pregúntanos!
Sobre IBD

Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular. It relates constrained verification with the also-hot technology called assertion-based design. Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.

Artículos relacionados

  • Video Surveillance Techniques and Technologies
    Vesna Zeljkovic
    Security video surveillance systems, such as homeland security and national defense, rely on specific mathematical algorithms in order to run effectively. It is essential for these parameters to be understood in order to design and create a successful system. Video Surveillance Techniques and Technologies presents empirical research and acquired experience on the original solut...
  • Swarm Intelligence for Electric and Electronic Engineering
    With growing developments in artificial intelligence and focus on swarm behaviors; algorithms have been utilized in solving a variety of problems in the field of engineering. This approach has been specifically suited to face the challenges in electric and electronic engineering. Swarm Intelligence for Electric and Electronic Engineering provides an exchange of knowledge on the...
  • Multirate Systems
    Gordana Jovanovic-Dolecek
    ...
  • Advanced Instrument Engineering
    Lay-Ekuakille
    Measurement technologies and instrumentation have a multidisciplinary impact in the field of applied sciences. These engineering technologies are necessary in processing information required for renewable energy, biotechnology, power quality, and nanotechnology. Advanced Instrument Engineering: Measurement, Calibration, and Design presents theoretical and practical aspects on t...
  • Linear Systems Theory
    João P. Hespanha
    A fully updated textbook on linear systems theoryLinear systems theory is the cornerstone of control theory and a well-established discipline that focuses on linear differential equations from the perspective of control and estimation. This updated second edition of Linear Systems Theory covers the subject’s key topics in a unique lecture-style format, making the book easy to ...
  • Instrument Transformers
    P.K. Pattanaik
    "Instrument Transformers" serves as an indispensable guide for electrical engineers and professionals navigating the complexities of measuring high-voltage currents and potentials. In the realm of electrical engineering, direct measurement of voltages and currents in the "kilo" or "mega" range presents significant challenges, not only due to the sheer magnitude of these values ...
    Disponible

    39,10 €

Otros libros del autor

  • Constraint-Based Verification
    Adnan Aziz / Carl Pixley / Jun Yuan
    Constrained Random Simulation.- High Level Verification Languages.- Assertion Languages and Constraints.- Preliminaries.- Constrained Vector Generation.- Constraint Simplification.- More Optimizations.- Constraint Synthesis.- Constraint Diagnosis.- Word-Level Constraint Solving. ...
    Disponible

    220,07 €