@dblp

Fast Hardware-Software Coverification by Optimistic Execution of Real Processor.

, , , , , and . DATE, page 663-668. IEEE Computer Society / ACM, (2000)

Links and resources

Tags