LIBROS DEL AUTOR: david lacey

4 resultados para LIBROS DEL AUTOR: david lacey

david lacey Eliminar filtro Quitar filtros
  • Voll The Tiny Giant
    DAVID LACEY
    Voll is a tiny giant who is destined for bigger things! One night, as invaders attack his village, a perilous situation quickly develops that takes Voll on an adventure that will test his nerve like never before; how will he find the courage and cunning he needs to survive? Join Voll The Tiny Giant in a beautifully illustrated and intriguing fairytale adventure story that will ...
    Disponible

    9,92 €

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

  • Experiencing Psychiatry
    Anne Rogers / David Pilgrim / Ron Lacey
    ...
    Disponible

    74,87 €