The following publications are possibly variants of this publication:
- The Ambiguity of Tense in the Japanese Mirative Sentence with Nante/TowaOsamu Sawada, Jun Sawada. jsai 2020: 325-340 [doi]
- Automatic verification of estimate functions with polynomials of bounded functionsJun Sawada. FMCAD 2010: 151-158 [doi]
- Combining ACL2 and an automated verification tool to verify a multiplierErik Reeber, Jun Sawada. acl2 2006: 63-70 [doi]
- ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification ToolJun Sawada, Erik Reeber. FMCAD 2006: 161-170 [doi]
- Mechanical Verification of a Square Root Algorithm Using Taylor s TheoremJun Sawada, Ruben Gamboa. FMCAD 2002: 274-291 [doi]
- Derivation of a rotator circuit with homogeneous interconnectH. Peter Hofstee, Jun Sawada. ipl, 77(2-4):131-135, 2001. [doi]
- Processor Verification with Precise Exeptions and Speculative ExecutionJun Sawada, Warren A. Hunt Jr.. cav 1998: 135-146
- Results of the Verification of a Complex Pipelined Machine ModelJun Sawada, Warren A. Hunt Jr.. charme 1999: 313-316 [doi]
- Trace Table Based Approach for Pipeline Microprocessor VerificationJun Sawada, Warren A. Hunt Jr.. cav 1997: 364-375
- Hardware Modeling Using Function EncapsulationJun Sawada, Warren A. Hunt Jr.. FMCAD 2000: 234-245 [doi]
- Verifying the FM9801 microarchitectureWarren A. Hunt Jr., Jun Sawada. micro, 19(3):47-55, 1999. [doi]
- Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying CapabilityJun Sawada, Warren A. Hunt Jr.. fmsd, 20(2):187-222, 2002.