![[ProCoS-WG logo]](/archive/procos/procos.gif)
This initiative (1993-1997) allowed visits between
ProCoS II project
partners and related sites in Europe and
Cornell University in the USA to liaise and collaborate in
the area of
provably correct hardware compilation.
It was funded by
ESPRIT (Europe)
and the
NSF (USA).
See the
official synopsis
for further information on the objectives and approach of
the initiative.
A
Hardware Synthesis and Verification Workshop
was held a
Cornell University, Ithaca, New York, USA,
14-16 August 1996.
Wayne Luk coordinated activities.
See also:
A hardware compilation email list is available. To join, send
email with your contact details to
hwcomp-request@comlab.ox.ac.uk.
Maintained by
Jonathan Bowen
as part of the ProCoS archive.
procos-request@comlab.ox.ac.uk
Hardware compilation information at the
Centre for Applied Formal Methods.