 |
|
|
Item Details
| Title:
|
FORMAL SPECIFICATION AND VERIFICATION IN VERY LARGE SCALE INTEGRATION DESIGN
|
| By: |
Bruce S. Davie |
| Format: |
Hardback |
| List price:
|
£48.00 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
0748601597 |
| ISBN 13: |
9780748601592 |
| Publisher: |
EDINBURGH UNIVERSITY PRESS |
| Pub. date: |
31 January, 1991 |
| Series: |
Edinburgh Information Technology S. No 8 |
| Pages: |
192 |
| Description: |
Describes an approach to computer hardware design based on behavioural hardware description languages, which enable a designer to be confident of a design's suitability at every stage of the process. The text uses examples ranging in complexity from logic gates to the small computer. |
| Synopsis: |
This volume describes an approach to computer hardware design based on behavioural hardware description languages, which enable a designer to be confident of a design's suitability at every stage of the process. The text uses examples ranging in complexity from logic gates to the small computer, and examines the issues related to the writing of accurate specifications and the verification of designs. It discusses the necessary features of hardware description languages and the issues involved in their development. Formal specification techniques, both from industry and academia, are examined in detail with particular emphasis on higher-order logic and the Circal framework. The problems of verifying timing properties and of dealing with uncertainty in specifications are also explored. |
| Illustrations: |
27 illustrations, glossary, bibliography |
| Publication: |
UK |
| Imprint: |
Edinburgh University Press |
| Returns: |
Non-returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|