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