T. Pecenka;Z. Kotasek;L. Sekanina
-;-;-
Evolution of synthetic RTL benchmark circuits with predefined testability
ACM Transactions on Design Automation of Electronic Systems (TODAES)