Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Modeling a hardware synthesis methodology in Isabelle

Basin, D. A., & Friedrich, S. (1996). Modeling a hardware synthesis methodology in Isabelle. In J. von Wright, J. Grundy, & J. Harrison (Eds.), Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96 (pp. 33-50). Berlin, Germany: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABEC-A Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-ABED-8
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Basin, David A.1, Autor           
Friedrich, Stefan1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Formal synthesis is a methodology developed at Kent for combining circuit design and verification. We have reinterpreted this methodology in ISABELLE's theory of higher-order logic so that circuits are synthesized using higher-order resolution. Our interpretation simplifies and extends formal synthesis both conceptually and in implementation. It also supports integration of this development style with other synthesis methodologies and leads to techniques for developing new classes of circuits, e.g., recursive descriptions of parameterized circuits.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121996
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Berlin, Germany : Springer
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519575
Anderer: Local-ID: C1256104005ECAFC-9C402B9EDA7F0239C125646000573DE3-BasinFriedrich96
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Turku, Finland
Start-/Enddatum: 2003-05-14 - 2003-05-18

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96
Genre der Quelle: Konferenzband
 Urheber:
von Wright, J., Herausgeber
Grundy, J., Herausgeber
Harrison, J., Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 33 - 50 Identifikator: ISBN: 3540615873

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -