Vor Ort
Merkzettel Warenkorb
  • Produktbild: Hardware Specification, Verification and Synthesis: Mathematical Aspects
  • Produktbild: Hardware Specification, Verification and Synthesis: Mathematical Aspects
Band 408

Hardware Specification, Verification and Synthesis: Mathematical Aspects Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.02.1990

Abbildungen

VIII, 404 p.

Herausgeber

Miriam Leeser + weitere

Verlag

Springer Us

Seitenzahl

404

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

622 g

Auflage

1990

Sprache

Englisch

ISBN

978-0-387-97226-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.02.1990

Abbildungen

VIII, 404 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

404

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

622 g

Auflage

1990

Sprache

Englisch

ISBN

978-0-387-97226-8

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Hardware Specification, Verification and Synthesis: Mathematical Aspects
  • Produktbild: Hardware Specification, Verification and Synthesis: Mathematical Aspects
  • Design for verifiability.- Verification of synchronous circuits by symbolic logic simulation.- Constraints, abstraction, and verification.- Formalising the design of an SECD chip.- Reasoning about state machines in higher-order logic.- A mechanically derived systolic implementation of pyramid initialization.- Behavior-preserving transformations for high-level synthesis.- From programs to transistors: Verifying hardware synthesis tools.- Combining engineering vigor with mathematical rigor.- Totally verified systems: Linking verified software to verified hardware.- What's in a timing discipline? Considerations in the specification and synthesis of systems with interacting asynchronous and synchronous components.- Complete trace structures.- The design of a delay-insensitive microprocessor: An example of circuit synthesis by program transformation.- Manipulating logical organization with system factorizations.- The verification of a bit-slice ALU.- Verification of a pipelined microprocessor using clio.- Verification of combinational logic in Nuprl.- Veritas+: A specification language based on type theory.- Categories for the working hardware designer.