Search results for ‘Harry D. Foster,Adam C. Krolnik,David J. Lacey’

Filter & Refine

      Cover image for Assertion-Based Design
      Hardback
      Add to list Added to list

      Assertion-Based Design

      Harry D. Foster,Adam C. Krolnik,David J. Lacey

      The focus of this volume is three-fold: how to specify assertions; how to create and adopt a methodology that supports assertion-based design (predominately for RTL design); and what to do…

      $351.99

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for Assertion-Based Design
      Paperback
      Add to list Added to list

      Assertion-Based Design

      Harry D. Foster,Adam C. Krolnik,David J. Lacey

      Design engineers that add assertions to their design will not only reduce the time needed to complete a design, they will also reduce the number of interruptions from verification engineers…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Assertion-Based Design
      Hardback
      Add to list Added to list

      Assertion-Based Design

      Harry D. Foster,Adam C. Krolnik,David J. Lacey

      Chapter 3 Specifying RTL Properties 61 3. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 2 Declaring properties with PSL 72…

      $407.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Assertion-Based Design
      Paperback
      Add to list Added to list

      Assertion-Based Design

      Harry D. Foster,Adam C. Krolnik,David J. Lacey

      Chapter 3 Specifying RTL Properties 61 3. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 2 Declaring properties with PSL 72…

      $407.99

      Available to order, ships in 7-14 daysAvailable to order