Mishra P. Functional verification of programmable embedded architectures : a top-down approach / P. Mishra, N. D. Dutt, 2005 r=on-line