Compactest: A Method to Generate Compact Test Sets for Combinational Circuits | Synapse