Next: NGHDL Concepts
Up: Meeting at Madrid
Previous: Experiments in Specification
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 min/max component;
- the asynchronous bounded queue;
- the RS flipflop.
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