Test Synthesis for Datapaths Using Datapath-Controller Functions. - Inoue, Michiko; Suzuki, Kazuhiro; Okamoto, Hiroyuki; Fujiwara, Hideo (2003)