Hi-Keung Tony Ma

Publication Activity (10 Years)

Years Active: 1986-2008
Publications (10 Years): 0

Publications

Shabbir H. Batterywala, Sambuddha Bhattacharya, Subramanian Rajagopalan, Hi-Keung Tony Ma, Narendra V. Shenoy
Cell Swapping Based Migration Methodology for Analog and Custom Layouts. ISQED (2008)
Sambuddha Bhattacharya, Shabbir H. Batterywala, Subramanian Rajagopalan, Hi-Keung Tony Ma, Narendra V. Shenoy
On Efficient and Robust Constraint Generation for Practical Layout Legalization. ISQED (2008)
Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma
Supporting sequential assumptions in hybrid verification. ASP-DAC (2005)
Demos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion
A practical and efficient method for compare-point matching. DAC (2002)
Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. DAC (2001)
Narendra V. Shenoy, Mahesh A. Iyer, Robert F. Damiano, Kevin Harer, Hi-Keung Tony Ma, Paul Thilking
A Robust Solution to the Timing Convergence Problem in High-Performance Design. ICCD (1999)
Kwang-Ting Cheng, Hi-Keung Tony Ma
On the over-specification problem in sequential ATPG algorithms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12 (10) (1993)
Kwang-Ting Cheng, Hi-Keung Tony Ma
On the Over-Specification Problem in Sequential ATPG Algorithms. DAC (1992)
Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton
Redundancies and don't cares in sequential logic synthesis. J. Electron. Test. 1 (1) (1990)
Srinivas Devadas, Hi-Keung Tony Ma
Easily testable PLA-based finite state machines. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9 (6) (1990)
Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
Irredundant sequential machines via optimal logic synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9 (1) (1990)
Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
A synthesis and optimization procedure for fully and easily testable sequential machines. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8 (10) (1989)
Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton
Easily testable PLA-based finite state machines. FTCS (1989)
Hi-Keung Tony Ma, Srinivas Devadas, Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli
Logic verification algorithms and their parallel implementation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8 (2) (1989)
Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton
Redundancies and Don't Cares in Sequential Logic Synthesis. ITC (1989)
Hi-Keung Tony Ma, A. Richard Newton, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli
An Incomplete Scan Design Approach to Test Generation for Sequential Machines. ITC (1988)
Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
MUSTANG: state assignment of finite state machines targeting multilevel logic implementations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7 (12) (1988)
Hi-Keung Tony Ma, Srinivas Devadas, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
Test generation for sequential circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7 (10) (1988)
Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
Synthesis and Optimization Procedures for Fully and Easily Testable Sequential Machines. ITC (1988)
Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton
On the verification of sequential machines at differing levels of abstraction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7 (6) (1988)
Douglas Braun, Jeffrey L. Burns, Fabio Romeo, Alberto L. Sangiovanni-Vincentelli, Kartikeya Mayaram, Srinivas Devadas, Hi-Keung Tony Ma
Techniques for multilayer channel routing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7 (6) (1988)
Hi-Keung Tony Ma, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei
Logic Verification Algorithms and Their Parallel Implementation. DAC (1987)
Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton
On the Verification of Sequential Machines at Differing Levels of Abstraction. DAC (1987)
Douglas Braun, Jeffrey L. Burns, Srinivas Devadas, Hi-Keung Tony Ma, Kartikeya Mayaram, Fabio Romeo, Alberto L. Sangiovanni-Vincentelli
Chameleon: a new multi-layer channel router. DAC (1986)
Hi-Keung Tony Ma, Alberto L. Sangiovanni-Vincentelli
Mixed-level fault coverage estimation. DAC (1986)