Testpoint Synthesis Using Symbolic Simulation Author(s): Kai-Hui Chang, Yen-Ting Liu and Chris Browy Download