Jun Sawada

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability

Jun Sawada and others (2002) · Formal Methods in System Design · Springer Science+Business Media

Processor verification with precise exceptions and speculative execution

Jun Sawada and others (1998) · Lecture notes in computer science · Springer Science+Business Media