Login / Signup
Verification Pattern Generation for Core-Based Design Using Port Order Fault Model.
Shing-Wu Tung
Jing-Yang Jou
Published in:
Asian Test Symposium (1998)
Keyphrases
</>
pattern generation
fault model
design process
control system
model checking
low cost
knowledge based systems
formal verification