Відправити по sms: A systematic methodology for verifying superscalar microprocessors / Mandayam Srivas, Ravi Hosabettu, & Ganesh Gopalakrishnan.