Searching for authors named "Jun Sawada" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Design Verification of Advanced Pipelined Machines
- … Doctoral Dissertation Proposal Design Verification of Advanced Pipelined Machines Jun Sawada University…
- Add To MetaCart
-
Formal Verification of Pipelined Machines with Out-of-order Execution
- …Formal Verification of Pipelined Machines with Out-of-order Execution Jun Sawada University…
- Add To MetaCart
-
Verification Of A Simple Pipelined Machine Model
- …Chapter 13 VERIFICATION OF A SIMPLE PIPELINED MACHINE MODEL Jun Sawada University of Texas…
- Cited by 11 (0 self) – Add To MetaCart
-
ACL2 Computed Hints: Extension and Practice
- …ACL2 Computed Hints: Extension and Practice Jun Sawada IBM Austin Research Laboratory Email…
- Cited by 1 (0 self) – Add To MetaCart
-
Mechanical Verification of a Square Root Algorithm Using Taylor’s Theorem
- …Mechanical Verification of a Square Root Algorithm using Taylor’s Theorem Jun Sawada 1 and Ruben…
- Cited by 5 (1 self) – Add To MetaCart
-
Formal Verification of Divide and Square Root Algorithms using Series Calculation
- …Formal Verication of Divide and Square Root Algorithms using Series Calculation Jun Sawada IBM…
- Cited by 7 (1 self) – Add To MetaCart
-
Formal Verification of Pipelined Machines with Out-of-order Execution
- …Formal Verification of Pipelined Machines with Out-of-order Execution Jun Sawada University…
- Add To MetaCart
-
Decomposing the Verification of Pipelined Microprocessors with Invariant Conditions
- …Decomposing the Verification of Pipelined Microprocessors with Invariant Conditions Jun Sawada 1…
- Cited by 1 (1 self) – Add To MetaCart
-
Trace Table Based Approach for Pipelined Microprocessor Verification
- …Trace Table Based Approach for Pipelined Microprocessor Verication Jun Sawada 1 and Warren A…
- Cited by 33 (5 self) – Add To MetaCart
-
Processor Verification with Precise Exceptions and Speculative Execution
- …Processor Verification with Precise Exceptions and Speculative Execution Jun Sawada 1 and Warren…
- Cited by 41 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
