Creating Assertion-Based IP

Creating Assertion-Based IP

Adam C. Krolnik / Harry D. Foster

206,13 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2007
ISBN:
9780387366418
206,13 €
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 presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. It demonstrates a systematic process for formal specification and formal testplanning, and also demonstrates effective use of assertions languages beyond the traditional language construct discussions Note that there many books published on assertion languages (such as SystemVerilog assertions and PSL). Yet, none of them discuss the important process of testplanning and using these languages to create verification IP. This is the first book published on this subject.

Artículos relacionados

  • Arduino Automotive Conversion Projects
    Mandy Concepcion
    Arduino Automotive Conversion Projects This work has been a labor of love. It is meant to compliment and broaden the working knowledge of the automotive driver/enthusiast and DIY Technician. The idea is to provide the way to perform vehicle conversions for those who want to learn these systems or those that need it. Often times the specific component is discontinued and non-rep...
    Disponible

    33,71 €

  • Proyectos Automotrices de Conversión Arduino
    Mandy Concepcion
    Este trabajo ha sido una labor de amor. Está destinado a complementar y ampliar el conocimiento práctico del conductor/entusiasta automotriz y del técnico DIY. La idea es proporcionar la manera de realizar conversiones de vehículos para aquellos que quieren aprender estos sistemas o aquellos que lo necesitan. A menudo, el componente específico está descontinuado y no se puede r...
    Disponible

    34,07 €

  • Circuit Simulation Methods and Algorithms
    Jan Ogrodzki / Ogrodzki Jan
    ...
    Disponible

    300,73 €

  • Electrical Machines
    S. K. Sahdev
    An extensive and easy-to-read guide covering the fundamental concepts of electrical machines, highlighting transformers, motors, generators and magnetic circuits. It provides in-depth discussion on construction, working principles and applications of various electrical machines. The design of transformers, functioning of generators and performance of induction motors are explai...
    Disponible

    137,56 €

  • Proceedings of the 4th International Symposium on New Energy and Electrical Technology
    The book bring together leading experts in the field of energy science and technology to share cutting-edge research and advancements in areas such as renewable energy sources, smart grid technology, and power management solutions. Through these contributions, readers will gain valuable insights into the future of energy technology and be inspired to further their own research ...
    Disponible

    392,79 €

  • Electronics for Scientists
    Daniel Santavicca
    Electronics for Scientists provides a practical and concise introduction to electrical circuits, signals, and instrumentation for undergraduate students in the physical sciences ...
    Disponible

    65,52 €

Otros libros del autor

  • Creating Assertion-Based IP
    Adam C. Krolnik / Harry D. Foster
    This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. It demonstrates a systematic process for formal specification and formal testplanning, and also demonstrates effective use of assertions languages beyond the traditional language construct discussions Note that there many books publishe...
    Disponible

    182,88 €