Design of a Totally Self Checking Signature Analysis Checker for Finite State Machines

Marco Ottavi, Gian-Carlo Cardarilli, D. Cellitti, Salvatore Pontarelli, Marco Re, Adelio Salsano. Design of a Totally Self Checking Signature Analysis Checker for Finite State Machines. In 16th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2001), 24-26 October 2001, San Francisco, CA, USA, Proceedings. pages 403-411, IEEE Computer Society, 2001. [doi]

@inproceedings{OttaviCCPRS01,
  title = {Design of a Totally Self Checking Signature Analysis Checker for Finite State Machines},
  author = {Marco Ottavi and Gian-Carlo Cardarilli and D. Cellitti and Salvatore Pontarelli and Marco Re and Adelio Salsano},
  year = {2001},
  url = {http://computer.org/proceedings/dft/1203/12030403abs.htm},
  tags = {analysis, state machines, design},
  researchr = {https://researchr.org/publication/OttaviCCPRS01},
  cites = {0},
  citedby = {0},
  pages = {403-411},
  booktitle = {16th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2001), 24-26 October 2001, San Francisco, CA, USA, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1203-8},
}