ACM Transactions on Design Automation of Electronic Systems (TODAES)

Prabhat Mishra, Nikil Dutt: Specification-driven directed test generation for validation of pipelined processors. ACM Trans. Design Autom. Electr. Syst. (TODAES) 13(3) (2008)