Travelled to:3 × USA
Collaborated with:A.L.Sangiovanni-Vincentelli S.Devadas K.Cheng R.F.Damiano A.R.Newton D.Anastasakis T.Stanion R.Wei D.Wang P.Ho J.Long J.H.Kukula Y.Zhu D.Braun J.L.Burns K.Mayaram F.Romeo
Talks about:verif (3) algorithm (2) sequenti (2) abstract (2) formal (2) level (2) implement (1) chameleon (1) properti (1) parallel (1)
Person: Hi-Keung Tony Ma
DBLP: Ma:Hi=Keung_Tony
Contributed to:
20022001199219871986Wrote 7 papers:
- DAC-2002-AnastasakisDMS #performance
- A practical and efficient method for compare-point matching (DA, RFD, HKTM, TS), pp. 305–310.
- DAC-2001-WangHLKZMD #abstraction #hybrid #refinement #simulation #verification
- Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines (DW, PHH, JL, JHK, YZ, HKTM, RFD), pp. 35–40.
- DAC-1992-ChengM #algorithm #on the #problem
- On the Over-Specification Problem in Sequential ATPG Algorithms (KTC, HKTM), pp. 16–21.
- DAC-1987-DevadasMN #abstraction #on the #verification
- On the Verification of Sequential Machines at Differing Levels of Abstraction (SD, HKTM, ARN), pp. 271–276.
- DAC-1987-MaDSW #algorithm #implementation #logic #parallel #verification
- Logic Verification Algorithms and Their Parallel Implementation (HKTM, SD, ALSV, RW), pp. 283–290.
- DAC-1986-BraunBDMMRS #multi #named
- Chameleon: a new multi-layer channel router (DB, JLB, SD, HKTM, KM, FR, ALSV), pp. 495–502.
- DAC-1986-MaS #estimation #fault
- Mixed-level fault coverage estimation (HKTM, ALSV), pp. 553–559.