U. Glässer;H. T. Vierhaus
-;-
Gate-level test generation for sequential circuits
ACM Transactions on Design Automation of Electronic Systems (TODAES)