Advanced Programme for NADA'97

Presentations

Session N-1: Analog Modelling

(Chair: W. Dosch, Mediz. Univ. Lübeck)

Bernhard Möller: Opening Remarks

Mark Kahrs: MHDL: A Critical Evaluation (Invited Talk)

Natividad Martínez Madrid: A Suggested Formal Semantics for the New Elements in VHDL-AMS

Session N-2: Logic and Algebraic Approaches

(Chair: H. Schwichtenberg, Univ. München)

Peter T. Breuer: Hardware Semantics and Time

Neal A. Harman, Anthony C.J. Fox: Algebraic Models and Correctness of Superscalar Microprocessors

Alban Ponse: Grid Protocols and Iterative Operations in Process Algebra

Session N-3: Functional Approaches

(Chair: M. Broy, Tech. Univ. München)

Bernhard Möller: Stream Algebra

Walter Dosch: Deductive Design of Digital Circuits

Ulrich Berger, Helmut Schwichtenberg: Extraction of Functional Programs from Proofs

Session N-4: State-based Approaches

(Chair: N. Harman, Univ. College Swansea)

Michael von der Beeck: Statecharts Semantics: An Evaluation (Invited Talk)

Peter Scholz: System-Level Hardware Design with µ-Charts

Karl Meinke: Semantics and Verification for Statecharts using Non-Deterministic Synchronous Concurrent Algorithms