Michiko Inoue, Kazuhiro Suzuki, Hiroyuki Okamoto, Hideo Fujiwara. Test Synthesis for Datapaths Using Datapath-Controller Functions. In 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China. pages 294-299, IEEE Computer Society, 2003. [doi]
Abstract is missing.