Papers tagged sequential circuit synthesis