NADA

New Hardware Design Methods

      Esprit Working Group No. 8533

Summary


Partners


Extended Documentation: B. Möller, J.V. Tucker (Eds.) : Prospects for Hardware Foundations.  Springer Lecture Notes in Computer Science 1546, 1998


Annual Report May 1996 - August 1997 and Final Report (Gzipped Postscript)

Annual Report April 1995 - April 1996 (Gzipped Postscript)

Report of NADA Meeting on Streams, 16-18 Oct. 1995 (Gzipped Postscript)

Annual Report April 1994 - March 1995


IFIP WG 10.5 Hardware Verification Benchmarks


Updated by Bernhard Möller
July 2002