David J. Lacey – författare
Visar alla böcker från författaren David J. Lacey. Handla med fri frakt och snabb leverans.
7 produkter
Assertion-Based Design
Av Harry D. Foster, Adam C. Krolnik m. fl.
Inbunden, 2003
878 kr
Lägg i varukorg
The focus of Assertion-Based Design 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 with the assertions and methodology once you have them. To support these three over-arching goals, …
Assertion-Based Design
Av Harry D. Foster, Adam C. Krolnik m. fl.
Inbunden, 2004
1690 kr
Lägg i varukorg
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 …
Assertion-Based Design
Av David J. Lacey, Adam C. Krolnik m. fl.
E-bok, 2005
2111 kr
Lägg i varukorg
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 …
Assertion-Based Design
Av Harry D. Foster, Adam C. Krolnik m. fl.
Häftad, 2010
1641 kr
Lägg i varukorg
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 …
Assertion-Based Design
Av David J. Lacey, Adam C. Krolnik m. fl.
E-bok, 2012
734 kr
Lägg i varukorg
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 …
Assertion-Based Design
Av Harry D. Foster, Adam C. Krolnik m. fl.
Häftad, 2012
552 kr
Lägg i varukorg
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 …
