Architecture Description Language driven Validation of Dynamic Behavior in Pipelined Processor Specifications

P. Mishra, N. Dutt and H. Tomiyama, "Architecture Description Language driven Validation of Dynamic Behavior in Pipelined Processor Specifications," TR 03-25, July 28, 2003. download pdf