Functional test generation based on word-level SAT - Zeng, Zhihong; Talupuru, Kesava R.; Ciesielski, Maciej (Journal of Systems Architecture, 2005)