Showing 1 - 13 results of 13 for search 'Veneris, Andreas', query time: 0.06s Refine Results
  1. 1
    Automated Software Solutions to Logic Restructuring and Silicon Debug
    by Yang, Yu-Shen
    Published 2010
    Other Authors: “...Veneris, Andreas...”
    Get full text
  2. 2
    Formal Methods in Automated Design Debugging
    by Safarpour, Sean Arash
    Published 2009
    Other Authors: “...Veneris, Andreas...”
    Get full text
  3. 3
    Scaling SAT-based Automated Design Debugging with Formal Methods
    by Keng, Brian
    Published 2009
    Other Authors: “...Veneris, Andreas...”
    Get full text
  4. 4
    Formal Methods in Computer-aided Design
    by Mangassarian, Hratch
    Published 2012
    Other Authors: “...Veneris, Andreas...”
    Get full text
  5. 5
    Circuit Debugging with Error Trace Compaction and Maximum Satisfiability
    by Chen, Yibin
    Published 2009
    Other Authors: “...Veneris, Andreas...”
    Get full text
  6. 6
    SAT-based Automated Design Debugging: Improvements and Application to Low-power Design
    by Le, Bao
    Published 2012
    Other Authors: “...Veneris, Andreas...”
    Get full text
  7. 7
    Formal Methods in Computer-aided Design
    by Mangassarian, Hratch
    Published 2012
    Other Authors: “...Veneris, Andreas...”
    Get full text
  8. 8
    Scaling SAT-based Automated Design Debugging with Formal Methods
    by Keng, Brian
    Published 2009
    Other Authors: “...Veneris, Andreas...”
    Get full text
  9. 9
    Automated Software Solutions to Logic Restructuring and Silicon Debug
    by Yang, Yu-Shen
    Published 2010
    Other Authors: “...Veneris, Andreas...”
    Get full text
  10. 10
    Circuit Debugging with Error Trace Compaction and Maximum Satisfiability
    by Chen, Yibin
    Published 2009
    Other Authors: “...Veneris, Andreas...”
    Get full text
  11. 11
    SAT-based Automated Design Debugging: Improvements and Application to Low-power Design
    by Le, Bao
    Published 2012
    Other Authors: “...Veneris, Andreas...”
    Get full text
  12. 12
    Formal Methods in Automated Design Debugging
    by Safarpour, Sean Arash
    Published 2009
    Other Authors: “...Veneris, Andreas...”
    Get full text
  13. 13
    High Level Debugging Techniques for Modern Verification Flows
    by Poulos, Zissis Paraskevas
    Published 2014
    Other Authors: “...Veneris, Andreas...”
    Get full text
Search Tools: Get RSS Feed — Email this Search