Combinational profiles of sequential benchmark circuits | Synapse