An Efficient Diagnostic Test Pattern Generation Framework Using Boolean Satisfiability

Author(s):  
Feijun Zheng ◽  
Kwang-Ting Cheng ◽  
Xiaolang Yan ◽  
John Moondanos ◽  
Ziyad Hanna
Sign in / Sign up

Export Citation Format

Share Document