Search Results - Katelman, M.

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits

    A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits by Keller, S., Katelman, M., Martin, A.J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Verification of microarchitectural refinements in rule-based systems

    Verification of microarchitectural refinements in rule-based systems by Dave, N., Katelman, M., King, M., Arvind, Meseguer, J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Directed-Logical Testing for Functional Verification of Microprocessors

    Directed-Logical Testing for Functional Verification of Microprocessors by Katelman, M., Meseguer, J., Escobar, S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: