design & checking tools

[Andre Bakkers <bks@xxxxxxxxxxxxx>]

At 10:19 AM 4/22/99 +0000, p0072370 wrote:
>
>Am I missing something here?
>
>Ian
>

I think so! Namely Jeremy's paper in WoTUG-20 "A Tool for Proving Deadlick
Freedom"
Where he reports that exhaustive state analysis of the Dining Philosophers
problem requires 
the evaluation of some 10^50 states whereas his method requires the
construction of a digraph 
with 800 vertices and check that for circuits.
If FDR releases the code to construct a netlist and we follow some
reasonable design restrictions we can use Jeremy's tool!
Andy