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 RTL cycle related assertions 73 3. 3 3. 1 Immediate assertions 84 3. 3 System functions 95 3. 3 Assertions across simulation time slots 111 4.
Read More
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 RTL cycle related assertions 73 3. 3 3. 1 Immediate assertions 84 3. 3 System functions 95 3. 3 Assertions across simulation time slots 111 4.
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
Hardcover,
Very Good
2004, Springer
ISBN-13:
9781402080272
See Item Details ▾
ThriftBooks-Atlanta
HIGH
Austell,
GA,
USA
$45.93
$169.99
Add to Basket
Add this copy of Assertion-Based Design to cart. $45.93, very good condition, Sold by ThriftBooks-Atlanta rated 4.0 out of 5 stars, ships from Austell, GA, UNITED STATES, published 2004 by Springer.
Details: ISBN:
1402080271
ISBN-13:
9781402080272
Pages:
390
Edition:
2nd 2004 edition
Publisher:
Springer
Published:
2004
Language:
English
Alibris ID:
18942343693
Shipping Options: Standard Shipping: $4.87
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Very good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Hide Details ▴
Hardcover,
Very Good
2004, Springer
ISBN-13:
9781402080272
See Item Details ▾
ThriftBooks-Reno
HIGH
Reno,
NV,
USA
$45.93
$169.99
Add to Basket
Add this copy of Assertion-Based Design to cart. $45.93, very good condition, Sold by ThriftBooks-Reno rated 4.0 out of 5 stars, ships from Reno, NV, UNITED STATES, published 2004 by Springer.
Details: ISBN:
1402080271
ISBN-13:
9781402080272
Pages:
390
Edition:
2nd 2004 edition
Publisher:
Springer
Published:
2004
Language:
English
Alibris ID:
18943011020
Shipping Options: Standard Shipping: $4.87
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Very good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Hide Details ▴
Trade paperback,
New
2012, Springer
ISBN-13:
9781461348481
See Item Details ▾
Educational Media Centre
HIGH
New Delhi,
DELHI,
INDIA
$47.46
$109.99
Add to Basket
Add this copy of Assertion-Based Design to cart. $47.46, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2012 by Springer.
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:
18979718664
Shipping Options: Standard Shipping: $4.87
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Brand New. New.
Hide Details ▴
Trade paperback,
New
2012, Springer
ISBN-13:
9781461348481
See Item Details ▾
Educational Media Centre
HIGH
New Delhi,
DELHI,
INDIA
$48.23
$109.99
Add to Basket
Add this copy of Assertion-Based Design to cart. $48.23, new condition, Sold by Educational Media Centre rated 4.0 out of 5 stars, ships from New Delhi, DELHI, INDIA, published 2012 by Springer.
Edition: 2012, Springer
Trade paperback,
New
Details: ISBN:
146134848X
ISBN-13:
9781461348481
Pages:
363
Publisher:
Springer
Published:
2012
Language:
English
Alibris ID:
18965345726
Shipping Options: Standard Shipping: $4.87
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Brand New. New.
Hide Details ▴
ISBN-13: 9781461348481
Trade paperback
ISBN-13: 9781441954626
Softcover reprint of hardcover 2nd edition 2004
Paperback
ISBN-13: 9781402080272
2nd 2004 edition
Hardcover
ISBN-13: 9781402074981
2nd edition
Hardcover
All Editions of Assertion-Based Design
