Assertion-Based Design - Harry D. Foster - Books - Springer-Verlag New York Inc. - 9781441954626 - November 5, 2010
In case cover and title do not match, the title is correct

Assertion-Based Design Softcover reprint of hardcover 2nd ed. 2004 edition

Harry D. Foster

Price
zł 705.90
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 11 - 24

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Assertion-Based Design Softcover reprint of hardcover 2nd ed. 2004 edition

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.

390 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 5, 2010
ISBN13 9781441954626
Publishers Springer-Verlag New York Inc.
Pages 390
Dimensions 155 × 235 × 21 mm   ·   580 g
Show all

More by Harry D. Foster

See all of Harry D. Foster ( e.g. Paperback Book and Hardcover Book )