Test synthesis for strongly testable datapaths using datapath-controller functions
Michiko B Inoue, Kazuhiro Suzuki, Hiroyuki Okamoto, Hideo Fujiwara · NAIST Digital Library (Nara Institute of Science and Technology) · 2003
This paper proposes a test syntheses method for datapaths. The proposed method goes on design-for-testability while generating control sequences for justification and propagation at register-transfer level. Since the method fully utilizes functions of controllers as well as datapaths, it achieves small area overhead.