CHEN MIAOHUI

Automatic test pattern generation-based circuit verification method and apparatus