Metastable-robust self-timed circuit synthesis from live safe simple signal transition graphs

A technique for the synthesis of metastable-robust self-timed digital circuits from live safe simple signal transition graphs (LSS STGs) is described. In this technique, the set of non-input choices and their related signals are first identified. Metastable behaviour of circuit elements implementing these signals is next contained using differential threshold buffers (DTB), thus preventing circuit malfunctions. An LSS STG is implemented as an example.