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

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

Synopsis

The papers in this volume present current research into formal methods for hardware design. The goal of this research is to develop new ways of using logic to specify systems, model hardware and verify designs. Most of the research was performed in the United States.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.