next up previous contents
Next: NGHDL Concepts Up: Meeting at Madrid Previous: Experiments in Specification

Further Case Studies

It was agreed that the case studies should be continued in a more focussed way. The examples to be tacked till the Annual NADA Meeting in Swansea, March 1995, were

The first two of these are in the IFIP WG 10.2 set of benchmark verification problems (see §2.3.4).



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