NADA Meetings, Conferences and Visits

• Inaugural Meeting, 21 -- 23 April 1994, TU Munich
  • NGHDL
  • Deductive Design
• Meeting at Madrid, October 1995
  • Case Studies
  • Calculating Digital Counters
  • Modeling of an RS-Flipflop in the functional framework FOCUS
  • Strongly-typed Theory of Structures and Behaviours
  • Rigorous Specifications of Gates and Flipflops
  • Experiments in Specification and Deductive Design of Hardware
  • Further Case Studies
  • NGHDL Concepts
  • Semantical Issues
  • A Hoare-Logic for VHDL
  • Towards an Assumption-Commitment Calculus for Circuits
• First Annual Meeting, 26 -- 28 March 1995, Coed y Mwstwr, Swansea
  • Foundations
  • Guidelines for NGHDL and Design Methods
  • Case Studies
  • Visitors
  • Planned Activities
• Small Visits and Conferences
  • Summary of Visits
  • TPCD Conference
  • Visitors: Swansea
  • Visitors: Uppsala
  • Visits: Kent
  • Visitors: Leeds