Hardware Specification, Verification and Synthesis

Keyphrases

Publications

volume 408, 1990

Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings Hardware Specification, Verification and Synthesis 408 (1990)

1989

Raul Camposano
Behavior-Preserving Transformations for High-Level Synthesis. Hardware Specification, Verification and Synthesis (1989)
Randal E. Bryant
Verification of Synchronous Circuits by Symbolic Logic Simulation. Hardware Specification, Verification and Synthesis (1989)
Christian Lengauer, Bikash Sabata, Farshid Arman
A Mechanically Derived Systolic Implementation of Pyramid Initialization. Hardware Specification, Verification and Synthesis (1989)
David A. Basin, Peter Del Vecchio
Verification Of Combinational Logic in Nuprl. Hardware Specification, Verification and Synthesis (1989)
Geoffrey M. Brown, Miriam Leeser
From Programs to Transistors: Verifying Hardware Synthesis Tools. Hardware Specification, Verification and Synthesis (1989)
Brian T. Graham, Graham M. Birtwistle
Formalising the Design of an SECD chip. Hardware Specification, Verification and Synthesis (1989)
Paul Loewenstein
Reasoning about State Machines in Higher-Order Logic. Hardware Specification, Verification and Synthesis (1989)
Steven D. Johnson
Manipulating Logical Organization with System Factorizations. Hardware Specification, Verification and Synthesis (1989)
David L. Dill
Complete Trace Structures. Hardware Specification, Verification and Synthesis (1989)
Mark Bickford, Mandayam K. Srivas
Verification of a Pipelined Microprocessor Using Clio. Hardware Specification, Verification and Synthesis (1989)
Warren A. Hunt Jr., Bishop Brock
The Verification of a Bit-slice ALU. Hardware Specification, Verification and Synthesis (1989)
George J. Milne
Design for Verifiability. Hardware Specification, Verification and Synthesis (1989)
Alain J. Martin
The Design of a Delay-Insensitive Microprocessor: An Example of Circuit Synthesis by Program Transformation. Hardware Specification, Verification and Synthesis (1989)
F. Keith Hanna, Neil Daeche, Mark Longley
: A Specification Language Based on Type Theory. Hardware Specification, Verification and Synthesis (1989)
Mary Sheeran
Categories for the Working Hardware Designer. Hardware Specification, Verification and Synthesis (1989)
P. A. Subrahmanyam
What's in a Timing Discipline? Considerations in the Specification and Synthesis of Systems with Interacting Asynchronous and Synchronous Components. Hardware Specification, Verification and Synthesis (1989)
Daniel Weise
Constraints, Abstraction and Verification. Hardware Specification, Verification and Synthesis (1989)
Jeffrey J. Joyce
Totally Verified Systems: Linking Verified Software to Verified Hardware. Hardware Specification, Verification and Synthesis (1989)
Shiu-Kai Chin
Combining Engineering Vigor with Mathematical Rigor. Hardware Specification, Verification and Synthesis (1989)