next up previous contents
Next: Guidelines for NGHDL Up: First Annual Meeting Previous: First Annual Meeting

Foundations

Augsburg
Stream semantics and stream calculus.
Amsterdam
Modeling SCAs using process algebra.
Swansea, Uppsala, LMU
Effective algebras; models of time; domains and non-standard stream models; functional models; and tool-independent representation of algorithms and hardware.
TU
Framework for hardware-software codesign; timed streams; and technology independent specification.



Bernhard Moeller
Fri May 12 14:21:20 MET DST 1995