Meeting at Madrid, October 1995

The meeting served two purposes:

• to present a number of case studies in specification and deductive design;
• to discuss in more detail the language constructs we desire in NGHDL.

• 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