From windley@cheetah.ucdavis.edu@munnari.cs.mu.oz Thu Mar  2 05:18:21 1989
To: info-hol@clover.ucdavis.edu
Subject: Cornell Workshop on Hardware Verification
Date: Wed, 01 Mar 89 08:58:06 -0800
From: Phil Windley <windley%cheetah.ucdavis.edu@munnari.oz>
Status: RO


                        Workshop On

        HARDWARE SPECIFICATION, VERIFICATION AND SYNTHESIS:
                     MATHEMATICAL ASPECTS

To be Held at Cornell University in Ithaca, New York
                   July 5-7, 1989

Organized by G. Brown and M. Leeser, and
sponsored by the Mathematical Sciences Institute.

This workshop will present current research into formal methods for
hardware design.  Because of the complexity of VLSI circuits, assuring
design validity before circuits are manufactured is imperative.  The
goal of research into formal methods for hardware design is to develop
methods of improving the design process and the quality of the
resulting designs.

The analytic tool of this research is logic; the fundamental problems
are to develop ways of using logic to specify systems, model hardware
and verify designs; and to develop tools (for example, theorem
provers) that simplify the application of logic to hardware
specification, verification and synthesis.

The workshop will consist of lectures delivered by invited speakers,
including: D. Basin, G. Birtwistle, R. Bryant, R. Campesano, S-K.
Chin, E. Clarke, W. Hunt, S. Johnson, J. Joyce, C. Lengauer, P.
Lowenstein, A. Martin, G. Milne, M. Sheeran, M. K. Srivas, P. A.
Subramanyam, and D. Weise.

Funds are available for partial support of predoctoral and young
postdoctoral visitors.  All persons who wish to attend are encourage
to contact MSI through Valerie Styles at 201 Caldwell Hall, Cornell
University, Ithaca, New York  14853, 607-255-7763.

For further information contact:
        M. Leeser
        School of Electrical Engineering
        Cornell University
        408 Phillips Hall
        Ithaca, New York 14853
        607-255-2816
        mel@tesla.ee.cornell.edu









