Rectification of Multiple Logic Design Errors in Multiple Output Circuits

@article{Tomita1994RectificationOM,
  title={Rectification of Multiple Logic Design Errors in Multiple Output Circuits},
  author={Masahiro Tomita and Tamotsu Yamamoto and Fuminori Sumikawa and Kotaro Hirano},
  journal={31st Design Automation Conference},
  year={1994},
  pages={212-217}
}
  • Masahiro Tomita, Tamotsu Yamamoto, +1 author Kotaro Hirano
  • Published in
    31st Design Automation…
    1994
  • Computer Science
  • This paper presents the EXMalgorithm, which locates multiple logic design errors in a combinational circuit with multiple output. An error possibility index and a six-valued simulation method have been introduced to reduce the number of error candidates without missing real errors. Experimental results have shown that this algorithm locates all errors at high hit ratio for benchmark circuits. 

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Figures, Tables, and Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 30 CITATIONS

    Design error diagnosis and correction via test vector simulation

    VIEW 4 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    Exact diagnosis using Boolean Satisfiability

    VIEW 1 EXCERPT
    CITES METHODS

    Automated correction of design errors by edge redirection on High-Level Decision Diagrams

    From RTL to silicon: The case for automated debug

    The day Sherlock Holmes decided to do EDA

    VIEW 2 EXCERPTS
    CITES BACKGROUND & METHODS

    Multiple error diagnosis in large combinational circuits using an efficient parallel vector simulation

    Notices For information , contact

    • Roderick Bloem rbloem
    • 2005
    VIEW 1 EXCERPT
    CITES BACKGROUND

    An LUT-based error diagnosis technique improved in multiplicity of rectifiable errors