Esprit Working Group 8533

NADA -

New Hardware Design Methods

Periodic Progress Report April 1994 to March 1995

• Contents
• Overview
  • Goals
  • Achievements
• 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
• Scientific Output from Augsburg
  • Relevant Papers
    • Case Studies
    • Deductive Design
    • Foundations
  • A Talk by T Kropf and Discussion, February 1995
    • Talk: A Formal Semantics for the Verification of VHDL
    • Discussion of Further Relation
  • Discussion with T. Nipkow on Isabelle, Mar 1995
• Scientific Output from Swansea
  • Relevant Papers
    • Case Studies
    • Foundations
• Scientific Output from Madrid
  • Relevant Papers
  • Relevant Talks
• Scientific Output from Uppsala
  • Relevant Papers
• Scientific Output from Amsterdam
  • Relevant Papers
• Scientific Output from Kent
  • Relevant Papers
• Scientific Output from LMU Munich
  • Relevant Papers
    • Case Studies
    • Foundations
• Scientific Output from TU Munich
  • Relevant Papers
• Scientific Output from Leeds
  • Relevant Papers
• General References
• About this document ...