Travelled to:2 × USA
Collaborated with:W.Shen K.J.Compton S.A.Taylor M.Quinn D.Brown N.Dohm S.Hildebrandt C.Ramey
Talks about:alpha (2) microprocessor (1) superscalar (1) processor (1) function (1) abstract (1) toolset (1) multipl (1) machin (1) verif (1)
Person: James Huggins
DBLP: Huggins:James
Contributed to:
2001
1998Wrote 2 papers:
- ASE-2001-ShenCH #state machine #tool support #uml #validation
- A UML Validation Toolset Based on Abstract State Machines (WS, KJC, JH), pp. 315–318.
- DAC-1998-TaylorQBDHHR #functional #multi #verification
- Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor — The DEC Alpha 21264 Microprocessor (SAT, MQ, DB, ND, SH, JH, CR), pp. 638–643.