Higher order logic and hardware verification
This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and verification. The author describes how certain fundamental abstraction mechanisms for...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
1993
|
| Schriftenreihe: | Cambridge tracts in theoretical computer science
31 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-20-CTM-CR9780511569845 | ||
| 003 | UkCbUP | ||
| 005 | 20151005020621.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 090520s1993||||enk o ||1 0|eng|d | ||
| 020 | |a 9780511569845 | ||
| 100 | 1 | |a Melham, T. F. | |
| 245 | 1 | 0 | |a Higher order logic and hardware verification |c T. Melham |
| 246 | 3 | |a Higher Order Logic & Hardware Verification | |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 1993 | |
| 300 | |a 1 Online-Ressource (xiii, 165 Seiten) | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science |v 31 | |
| 520 | |a This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and verification. The author describes how certain fundamental abstraction mechanisms for hardware verification can be formalised in logic and used to express assertions about design correctness and the relative accuracy of models of hardware behaviour. His approach is pragmatic and driven by examples. He also includes an introduction to higher-order logic, which is a widely used formalism in this subject, and describes how that formalism is actually used for hardware verification. The book is based in part on the author's own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers. | ||
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780521115322 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780521417181 |
| 856 | 4 | 0 | |l TUM01 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/CBO9780511569845 |3 Volltext |
| 912 | |a ZDB-20-CTM | ||
| 912 | |a ZDB-20-CTM | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-20-CTM-CR9780511569845 |
|---|---|
| _version_ | 1818779683747004416 |
| adam_text | |
| any_adam_object | |
| author | Melham, T. F. |
| author_facet | Melham, T. F. |
| author_role | |
| author_sort | Melham, T. F. |
| author_variant | t f m tf tfm |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-20-CTM |
| doi_str_mv | 10.1017/CBO9780511569845 |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01766nam a2200277 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9780511569845</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20151005020621.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">090520s1993||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511569845</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Melham, T. F.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Higher order logic and hardware verification</subfield><subfield code="c">T. Melham</subfield></datafield><datafield tag="246" ind1="3" ind2=" "><subfield code="a">Higher Order Logic & Hardware Verification</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiii, 165 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">31</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and verification. The author describes how certain fundamental abstraction mechanisms for hardware verification can be formalised in logic and used to express assertions about design correctness and the relative accuracy of models of hardware behaviour. His approach is pragmatic and driven by examples. He also includes an introduction to higher-order logic, which is a widely used formalism in this subject, and describes how that formalism is actually used for hardware verification. The book is based in part on the author's own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780521115322</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780521417181</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">TUM01</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/CBO9780511569845</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-20-CTM-CR9780511569845 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-18T12:04:31Z |
| institution | BVB |
| isbn | 9780511569845 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xiii, 165 Seiten) |
| psigel | ZDB-20-CTM |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Cambridge tracts in theoretical computer science |
| spelling | Melham, T. F. Higher order logic and hardware verification T. Melham Higher Order Logic & Hardware Verification Cambridge Cambridge University Press 1993 1 Online-Ressource (xiii, 165 Seiten) txt c cr Cambridge tracts in theoretical computer science 31 This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and verification. The author describes how certain fundamental abstraction mechanisms for hardware verification can be formalised in logic and used to express assertions about design correctness and the relative accuracy of models of hardware behaviour. His approach is pragmatic and driven by examples. He also includes an introduction to higher-order logic, which is a widely used formalism in this subject, and describes how that formalism is actually used for hardware verification. The book is based in part on the author's own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers. Erscheint auch als Druck-Ausgabe 9780521115322 Erscheint auch als Druck-Ausgabe 9780521417181 TUM01 ZDB-20-CTM TUM_PDA_CTM https://doi.org/10.1017/CBO9780511569845 Volltext |
| spellingShingle | Melham, T. F. Higher order logic and hardware verification |
| title | Higher order logic and hardware verification |
| title_alt | Higher Order Logic & Hardware Verification |
| title_auth | Higher order logic and hardware verification |
| title_exact_search | Higher order logic and hardware verification |
| title_full | Higher order logic and hardware verification T. Melham |
| title_fullStr | Higher order logic and hardware verification T. Melham |
| title_full_unstemmed | Higher order logic and hardware verification T. Melham |
| title_short | Higher order logic and hardware verification |
| title_sort | higher order logic and hardware verification |
| url | https://doi.org/10.1017/CBO9780511569845 |
| work_keys_str_mv | AT melhamtf higherorderlogicandhardwareverification AT melhamtf higherorderlogichardwareverification |