Test Synthesis for Datapaths Using Datapath-Controller Functions

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]

@inproceedings{InoueSOF03,
  title = {Test Synthesis for Datapaths Using Datapath-Controller Functions},
  author = {Michiko Inoue and Kazuhiro Suzuki and Hiroyuki Okamoto and Hideo Fujiwara},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/ats/2003/1951/00/19510294abs.htm},
  tags = {testing},
  researchr = {https://researchr.org/publication/InoueSOF03},
  cites = {0},
  citedby = {0},
  pages = {294-299},
  booktitle = {12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1951-2},
}