LIBROS DEL AUTOR: adam c krolnik

6 resultados para LIBROS DEL AUTOR: adam c krolnik

adam c krolnik Eliminar filtro Quitar filtros
  • Assertion-Based Design
    Adam C. Krolnik / David J. Lacey / Harry D. Foster
    There is much excitement in the design and verification community about assertion-based design. The question is, who should study assertion-based design? The emphatic answer is, both design and verification engineers. What may be unintuitive to many design engineers is that adding assertions to RTL code will actually reduce design time, while better d...
    Disponible

    65,83 €

  • Assertion-Based Design
    Adam C. Krolnik / David J. Lacey / Harry D. Foster
    Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety versus liveness 66 3. 2. 1 3. 2. 2 Constraint versus assertion 67 3. 2. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 3. 1 3. 3. 2 Declar...
    Disponible

    268,58 €

  • 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 €

  • 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

    206,13 €

  • Assertion-Based Design
    Adam C. Krolnik / David J. Lacey / Harry D. Foster
    Chapter 3 Specifying RTL Properties 61 3. 1 Definitions and concepts 62 62 3. 1. 1 Property 3. 1. 2 Events 65 3. 2 Property classification 65 Safety versus liveness 66 3. 2. 1 3. 2. 2 Constraint versus assertion 67 3. 2. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 3. 1 3. 3. 2 Declar...
    Disponible

    205,73 €

  • Assertion-Based Design
    Adam C. Krolnik / David J. Lacey / Harry D. Foster
    1 Introduction.- 1.1 Property checking.- 1.2 Verification techniques.- 1.3 What is an assertion?.- 1.3.1 A historical perspective.- 1.3.2 Do assertions really work?.- 1.3.3 What are the benefits of assertions?.- 1.3.4 Why are assertions not used?.- 1.4 Phases of the design process.- 1.4.1 Ensuring requirements are satisfied.- 1.4.2 Techniques for ensuring consistency.- 1.4.3 Ro...
    Disponible

    118,60 €