Zhen Huiling

Automatic test pattern generation-based circuit verification method and apparatus