A system of computer programs for efficient test generation for combinational switching circuits.

Eskil Kjelkerud

Browse the full DAC paper archive.