Testpoint Synthesis Using Symbolic Simulation

Author(s):
Kai-Hui Chang, Yen-Ting Liu and Chris Browy