Adam C. Krolnik – författare
Visar alla böcker från författaren Adam C. Krolnik. Handla med fri frakt och snabb leverans.
9 produkter
Creating Assertion-Based IP
Av Harry D. Foster, Adam C. Krolnik
Inbunden, 2007
1636 kr
Lägg i varukorg
Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon detecting interesting or incorrect behavior, the …
Creating Assertion-Based IP
Av Adam C. Krolnik, Harry D. Foster
E-bok, 2007
1587 kr
Lägg i varukorg
Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon detecting interesting or incorrect behavior, the …
Assertion-Based Design
Av Harry D. Foster, Adam C. Krolnik m. fl.
Inbunden, 2003
875 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
1685 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 …
Creating Assertion-Based IP
Av Harry D. Foster, Adam C. Krolnik
Häftad, 2010
1202 kr
Lägg i varukorg
Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon detecting interesting or incorrect behavior, the …
Assertion-Based Design
Av Harry D. Foster, Adam C. Krolnik m. fl.
Häftad, 2010
1636 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
550 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 …
