Search Results - Hu, A.J.

Refine Results
  1. 1
    B-Cubing: New Possibilities for Efficient SAT-Solving

    B-Cubing: New Possibilities for Efficient SAT-Solving by Babic, D., Bingham, J., Hu, A.J.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Synthesis and characterization of melt-processable polyimides derived from 1,4-bis(4-amino-2-trifluoromethylphenoxy)benzene

    Synthesis and characterization of melt-processable polyimides derived from 1,4-bis(4-amino-2-trifluoromethylphenoxy)benzene by Zuo, H.J, Chen, J.S, Yang, H.X, Hu, A.J, Fan, L, Yang, S.Y

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Calysto

    Calysto by Babic, D., Hu, A.J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Early outpoint insertion for high-level software vs. RTL formal combinational equivalence verification

    Early outpoint insertion for high-level software vs. RTL formal combinational equivalence verification by Xiushan Feng, Hu, A.J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Automatic Inference of Frame Axioms Using Static Analysis

    Automatic Inference of Frame Axioms Using Static Analysis by Rakamaric, Z., Hu, A.J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Improving multiple-CMP systems using token coherence

    Improving multiple-CMP systems using token coherence by Marty, M.R., Bingham, J.D., Hill, M.D., Hu, A.J., Martin, M.M.K., Wood, D.A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    High-level specification and automatic generation of IP interface monitors

    High-level specification and automatic generation of IP interface monitors by Oliveira, M.T., Hu, A.J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    An effective guidance strategy for abstraction-guided simulation

    An effective guidance strategy for abstraction-guided simulation by De Paula, Flavio M., Hu, Alan J.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Efficient SAT solving: beyond supercubes

    Efficient SAT solving: beyond supercubes by Babic, D., Bingham, J., Hu, A.J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Chairs' welcome message

    Chairs' welcome message by Hu, A.J., Harris, I.G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Thermosetting Polyimides with Improved Impact Toughness and Excellent Thermal and Thermo-Oxidative Stability

    Thermosetting Polyimides with Improved Impact Toughness and Excellent Thermal and Thermo-Oxidative Stability by Xiao, T J, Gao, S Q, Hu, A J, Wang, X C, Yang, S Y

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Automatic formal verification of software: Fundamental concepts

    Automatic formal verification of software: Fundamental concepts by Hu, A.J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    BackSpace: Formal Analysis for Post-Silicon Debug

    BackSpace: Formal Analysis for Post-Silicon Debug by De Paula, F.M., Gort, M., Hu, A.J., Wilton, S., Jin Yang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Generating monitor circuits for simulation-friendly GSTE assertion graphs

    Generating monitor circuits for simulation-friendly GSTE assertion graphs by Ng, K., Hu, A.J., Jin Yang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    B-cubing theory: new possibilities for efficient SAT-solving

    B-cubing theory: new possibilities for efficient SAT-solving by Babic, D., Bingham, J., Hu, A.J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Integration of supercubing and learning in a SAT solver

    Integration of supercubing and learning in a SAT solver by Babic, D., Hu, A.J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Formal hardware verification with BDDs: an introduction

    Formal hardware verification with BDDs: an introduction by Hu, A.J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Fast specification of cycle-accurate processor models

    Fast specification of cycle-accurate processor models by Felix Sheng-Ho Chang, Hu, A.J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Proving Termination by Divergence

    Proving Termination by Divergence by Babic, D., Hu, A.J., Rakamaric, Z.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Source-level transformations for improved formal verification

    Source-level transformations for improved formal verification by Winters, B.D., Hu, A.J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: