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 Declaring properties with PSL 72 RTL cycle related assertions 73 3. 3. 3 3. 3. 4 PSL and default clock declaration 74 3. 3. 5 Specifying sequences 75 3. 3. 6 Specifying eventualities ...
Read More
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 Declaring properties with PSL 72 RTL cycle related assertions 73 3. 3. 3 3. 3. 4 PSL and default clock declaration 74 3. 3. 5 Specifying sequences 75 3. 3. 6 Specifying eventualities 80 3. 3. 7 PSL built-in functions 82 3. 4Pragma-based assertions 82 3. 5 SystemVerilog assertions 84 3. 5. 1 Immediate assertions 84 3. 5. 2Concurrent assertions 86 3. 5. 3 System functions 95 3. 6 PCI property specification example 96 3. 6. 1 PCI overview 96 3. 7 Summary 102 Chapter 4 PLI-Based Assertions 103 4. 1 Procedural assertions 104 4. 1. 1 A simple PLI assertion 105 4. 1. 2 Assertions within a simulation time slot 108 4. 1. 3 Assertions across simulation time slots 111 4. 1. 4 False firing across multiple time slots 116 4. 2 PLI-based assertion library 118 4. 2. 1 Assert quiescent state 119 4. 3 Summary 123 Chapter 5 Functional Coverage 125 5. 1 Verification approaches 126 5. 2 Understanding coverage 127 5. 2. 1 Controllability versus observability 128 5. 2.
Read Less
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Details:
ISBN:
1402080271
ISBN-13:
9781402080272
Pages:
390
Edition:
2nd
Publisher:
Springer
Published:
2004
Language:
English
Alibris ID:
17929538396
Shipping Options:
Standard Shipping: $4.72
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
Hide Details ▴
Edition:
2003, Springer
Hardcover,
Fair
Details:
ISBN:
1402074980
ISBN-13:
9781402074981
Pages:
388
Edition:
2nd edition
Publisher:
Springer
Published:
2003
Language:
English
Alibris ID:
17939788001
Shipping Options:
Standard Shipping: $4.72
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fair. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
Hide Details ▴
Edition:
2003, Springer
Hardcover,
Good
Details:
ISBN:
1402074980
ISBN-13:
9781402074981
Pages:
388
Edition:
2nd edition
Publisher:
Springer
Published:
2003
Language:
English
Alibris ID:
17756578295
Shipping Options:
Standard Shipping: $4.72
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Hide Details ▴
Edition:
2004, Springer
Hardcover,
Good
Details:
ISBN:
1402080271
ISBN-13:
9781402080272
Pages:
390
Edition:
2nd 2004 edition
Publisher:
Springer
Published:
2004
Language:
English
Alibris ID:
18010546765
Shipping Options:
Standard Shipping: $4.72
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴
Edition:
2012, Springer
Trade paperback,
New
Available Copies: 10+
Details:
ISBN:
146134848X
ISBN-13:
9781461348481
Pages:
363
Publisher:
Springer
Published:
2012
Language:
English
Alibris ID:
11914979337
Shipping Options:
Standard Shipping: $4.72
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 363 p.
Hide Details ▴
Details:
ISBN:
1402074980
ISBN-13:
9781402074981
Pages:
388
Edition:
2nd edition
Publisher:
Springer
Published:
2003
Language:
English
Alibris ID:
18025572964
Shipping Options:
Standard Shipping: $4.72
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Supports Goodwill of Silicon Valley job training programs. The cover and pages are in very good condition! The cover and any other included accessories are also in very good condition showing some minor use. The spine is straight there are no rips tears or creases on the cover or the pages.
Hide Details ▴
Edition:
2012, Springer
Trade paperback,
New
Available Copies: 5
Details:
ISBN:
146134848X
ISBN-13:
9781461348481
Pages:
363
Publisher:
Springer
Published:
2012
Language:
English
Alibris ID:
17980018378
Shipping Options:
Standard Shipping: $4.72
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 363 p.
Hide Details ▴
Edition:
2012, Springer
Trade paperback,
New
Available Copies: 3
Details:
ISBN:
146134848X
ISBN-13:
9781461348481
Pages:
363
Publisher:
Springer
Published:
2012
Language:
English
Alibris ID:
17987250985
Shipping Options:
Standard Shipping: $4.72
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 363 p. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Hide Details ▴
Edition:
2012, Springer
Trade paperback,
New
Available Copies: 3
Details:
ISBN:
146134848X
ISBN-13:
9781461348481
Pages:
363
Publisher:
Springer
Published:
2012
Language:
English
Alibris ID:
17987763426
Shipping Options:
Standard Shipping: $4.72
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 363 p. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Hide Details ▴
2012,
Springer, New York, NY
ISBN-13: 9781461348481
Trade paperback
2010,
Springer-Verlag New York Inc., New York, NY
ISBN-13: 9781441954626
Softcover reprint of hardcover 2nd edition 2004
Paperback
2004,
Springer, New York, NY
ISBN-13: 9781402080272
2nd 2004 edition
Hardcover
2003,
Springer, Boston, MA
ISBN-13: 9781402074981
2nd edition
Hardcover
All Editions of Assertion-Based Design