Next:
Overview
Up:
No Title
Previous:
No Title
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 ...
Bernhard Moeller
Fri May 12 14:21:20 MET DST 1995