 |
|
|
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 |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|