A method for specifying and synthesizing a synchronous digital circuit by first accepting a specification of an asynchronous system in which stored values are updated according to a set of state transition rules. For instance, the state transition rules are specified as a Term Rewriting System (TRS)...http://www.google.de/patents/US8108810?utm_source=gb-gplus-sharePatent US8108810 - Synchronous circuit synthesis using an asynchronous specification
