Hardware Specification, Verification and Synthesis: Mathematical Aspects - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer New York

9780387972268, 9780387348018

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Manipulating logical organization with system factorizations

Hardware Specification, Verification and Synthesis: Mathematical Aspects - Lecture Notes in Computer Science ◽

10.1007/0-387-97226-9_33 ◽

1990 ◽

pp. 260-281 ◽

Author(s):

Steven D. Johnson

Keyword(s):

Logical Organization

Download Full-text

The design of a delay-insensitive microprocessor: An example of circuit synthesis by program transformation

Hardware Specification, Verification and Synthesis: Mathematical Aspects - Lecture Notes in Computer Science ◽

10.1007/0-387-97226-9_32 ◽

1990 ◽

pp. 244-259 ◽

Author(s):

Alain J. Martin

Keyword(s):

Program Transformation ◽

Circuit Synthesis

Download Full-text

A mechanically derived systolic implementation of pyramid initialization

Hardware Specification, Verification and Synthesis: Mathematical Aspects - Lecture Notes in Computer Science ◽

10.1007/0-387-97226-9_25 ◽

1990 ◽

pp. 90-105 ◽

Author(s):

Christian Lengauer ◽

Bikash Sabata ◽

Farshid Arman

Download Full-text

Design for verifiability

Hardware Specification, Verification and Synthesis: Mathematical Aspects - Lecture Notes in Computer Science ◽

10.1007/0-387-97226-9_20 ◽

1990 ◽

pp. 1-13 ◽

Author(s):

George J. Milne

Download Full-text

Categories for the working hardware designer

Hardware Specification, Verification and Synthesis: Mathematical Aspects - Lecture Notes in Computer Science ◽

10.1007/0-387-97226-9_38 ◽

1990 ◽

pp. 380-402 ◽

Author(s):

Mary Sheeran

Download Full-text

Verification of combinational logic in Nuprl

Hardware Specification, Verification and Synthesis: Mathematical Aspects - Lecture Notes in Computer Science ◽

10.1007/0-387-97226-9_36 ◽

1990 ◽

pp. 333-357 ◽

Author(s):

David A. Basin ◽

Peter Vecchio

Keyword(s):

Combinational Logic

Download Full-text

Reasoning about state machines in higher-order logic

Hardware Specification, Verification and Synthesis: Mathematical Aspects - Lecture Notes in Computer Science ◽

10.1007/0-387-97226-9_24 ◽

1990 ◽

pp. 67-89 ◽

Author(s):

Paul Loewenstein

Keyword(s):

Higher Order ◽

Order Logic ◽

State Machines ◽

Higher Order Logic

Download Full-text

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: Mathematical Aspects - Lecture Notes in Computer Science ◽

10.1007/0-387-97226-9_30 ◽

1990 ◽

pp. 202-223 ◽

Author(s):

P. A. Subrahmanyam

Download Full-text

Constraints, abstraction, and verification

Hardware Specification, Verification and Synthesis: Mathematical Aspects - Lecture Notes in Computer Science ◽

10.1007/0-387-97226-9_22 ◽

1990 ◽

pp. 25-39 ◽

Author(s):

Daniel Weise

Download Full-text

Formalising the design of an SECD chip

Hardware Specification, Verification and Synthesis: Mathematical Aspects - Lecture Notes in Computer Science ◽

10.1007/0-387-97226-9_23 ◽

1990 ◽

pp. 40-66 ◽

Author(s):

Brian Graham ◽

Graham Birtwistle

Download Full-text