All circuit types and configurations are supported: Combinational, Sequential, Synchronous and Asynchronous. SYN performs automated logic design by searching for circuits that provide the transfer function specified by the input and output signal ...