Search Results - "Vimjam, V.C."

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Increasing the deducibility in CNF instances for efficient SAT-based bounded model checking

    Increasing the deducibility in CNF instances for efficient SAT-based bounded model checking by Vimjam, V.C., Hsiao, M.S.

    “…In this paper, we propose low-cost static deduction techniques by combining binary resolution and static logic implications to efficiently extract invariant…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Explicit Safety Property Strengthening in SAT-based Induction

    Explicit Safety Property Strengthening in SAT-based Induction by Vimjam, V.C., Hsiao, M.S.

    “…Strengthening a property allows it to be falsified/verified at an earlier induction depth. In this paper, we propose new preprocessing techniques for…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Efficient fault collapsing via generalized dominance relations

    Efficient fault collapsing via generalized dominance relations by Vimjam, V.C., Hsiao, M.S.

    Published in 24th IEEE VLSI Test Symposium (2006)
    “…Fault collapsing of a fault-set helps in obtaining smaller test-sets as well as in reducing fault-simulation times. In this paper, we propose two new theorems…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Using Scan-Dump Values to Improve Functional-Diagnosis Methodology

    Using Scan-Dump Values to Improve Functional-Diagnosis Methodology by Vimjam, V.C., Enamul Amyeen, E., Ruifeng Guo, Venkataraman, S., Hsiao, M., Kai Yang

    Published in 25th IEEE VLSI Test Symposium (VTS'07) (01-05-2007)
    “…In this paper, we identify two main bottlenecks in the functional diagnosis flow and propose new ways to overcome these. Our approach completely eliminates the…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: