OUTLINE OF DEMONSTRATION 

We show how co-LODEX works taking as an example the circuit shown in Figure 
1 and Figure 2. We have prepared a special interface based on a log of an actual run 
for illustrating how agents cooperate. Please refer to the APPENDIX for the details 
of the cooperation algorithm. 

Then we demonstrate an actual run of co-LODEX for a large circuit example. 

REFERENCE 

[Minoda 1992] Y. Minoda, et al. "A Cooperative Logic Design Expert System on a 
Multiprocessor," Proc. of FGCS'92, pp.1181-1189 (1992). 

APPENDIX (Cooperation algorithm) 

P.46 Figure 1
- 46 -