han@achel.UUCP (han) (01/28/86)
>While reading an article on self-timed logic design, I came across a reference >to Trace theory which was described as a branch of Graph theory. It seems >that some researchers are trying to use Trace theory to provide theoretical >muscle to self-timed logic design. Could someone give me a brief description >of Trace theory? Or better still, provide me with some references. Thanks. Trace theory is a theoretic model that enables you to talk about all possible interleavings of processes in an easy way. It is applied in VLSI design, and a special field of interest of the researchers is self-timed logic. The research on this subject is started about 1980, and at this moment there are a lot of nice results. The research project is done by: "Technical University of Eindhoven" "Department of mathematics and computer science" "Den Dolech 2, Eindhoven" "The Netherlands" For more information on this subject, contact the project leader: Prof. Martin Rem technical university eindhoven tel: ... 40 479111 (ask for Martin Rem) Han Schaminee Philips Eindhoven