Hi-Keung Tony Ma
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
4
Active years
1986–2005
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ASPDAC | Supporting sequential assumptions in hybrid verification. | Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma |
| 2002 | DAC | A practical and efficient method for compare-point matching. | Demos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion |
| 2001 | DAC | Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. | Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano |
| 1999 | ICCD | A Robust Solution to the Timing Convergence Problem in High-Performance Design. | Narendra V. Shenoy, Mahesh A. Iyer, Robert F. Damiano, Kevin Harer, Hi-Keung Tony Ma, Paul Thilking |
| 1992 | DAC | On the Over-Specification Problem in Sequential ATPG Algorithms. | Kwang-Ting Cheng, Hi-Keung Tony Ma |
| 1989 | ITC | Redundancies and Don't Cares in Sequential Logic Synthesis. | Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton |
| 1988 | ITC | Synthesis and Optimization Procedures for Fully and Easily Testable Sequential Machines. | Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ITC | An Incomplete Scan Design Approach to Test Generation for Sequential Machines. | Hi-Keung Tony Ma, A. Richard Newton, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli |
| 1987 | DAC | On the Verification of Sequential Machines at Differing Levels of Abstraction. | Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton |
| 1987 | DAC | Logic Verification Algorithms and Their Parallel Implementation. | Hi-Keung Tony Ma, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei |
| 1986 | DAC | Chameleon: a new multi-layer channel router. | Douglas Braun, Jeffrey L. Burns, Srinivas Devadas, Hi-Keung Tony Ma, Kartikeya Mayaram, Fabio Romeo, Alberto L. Sangiovanni-Vincentelli |
| 1986 | DAC | Mixed-level fault coverage estimation. | Hi-Keung Tony Ma, Alberto L. Sangiovanni-Vincentelli |