Travelled to:1 × Canada
1 × Israel
Collaborated with:W.A.H.Jr.
Talks about:verif (2) microprocessor (1) processor (1) approach (1) pipelin (1) specul (1) precis (1) execut (1) trace (1) exept (1)
Person: Jun Sawada
DBLP: Sawada:Jun
Contributed to:
19981997Wrote 2 papers:
- CAV-1998-SawadaH #execution #precise #verification
- Processor Verification with Precise Exeptions and Speculative Execution (JS, WAHJ), pp. 135–146.
- CAV-1997-SawadaH #approach #pipes and filters #verification
- Trace Table Based Approach for Pipeline Microprocessor Verification (JS, WAHJ), pp. 364–375.