Hi-Keung Tony Ma

According to our database, Hi-Keung Tony Ma authored at least 21 papers between 1986 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2008

On Efficient and Robust Constraint Generation for Practical Layout Legalization.

Sambuddha Bhattacharya, Shabbir H. Batterywala, Subramanian Rajagopalan, Hi-Keung Tony Ma, Narendra V. Shenoy

Proceedings of the 9th International Symposium on Quality of Electronic Design (ISQED 2008), 2008

Cell Swapping Based Migration Methodology for Analog and Custom Layouts.

Shabbir H. Batterywala, Sambuddha Bhattacharya, Subramanian Rajagopalan, Hi-Keung Tony Ma, Narendra V. Shenoy

Proceedings of the 9th International Symposium on Quality of Electronic Design (ISQED 2008), 2008

2005

Supporting sequential assumptions in hybrid verification.

Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2002

A practical and efficient method for compare-point matching.

Demos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion

Proceedings of the 39th Design Automation Conference, 2002

2001

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

Proceedings of the 38th Design Automation Conference, 2001

1999

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

Proceedings of the IEEE International Conference On Computer Design, 1999

1993

On the over-specification problem in sequential ATPG algorithms.

Kwang-Ting Cheng, Hi-Keung Tony Ma

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993

1990

Irredundant sequential machines via optimal logic synthesis.

Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990

Easily testable PLA-based finite state machines.

Srinivas Devadas, Hi-Keung Tony Ma

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990

Redundancies and don't cares in sequential logic synthesis.

Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton

J. Electron. Test., 1990

1989

Logic verification algorithms and their parallel implementation.

Hi-Keung Tony Ma, Srinivas Devadas, Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989

A synthesis and optimization procedure for fully and easily testable sequential machines.

Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989

Easily testable PLA-based finite state machines.

Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton

Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

1988

Test generation for sequential circuits.

Hi-Keung Tony Ma, Srinivas Devadas, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988

MUSTANG: state assignment of finite state machines targeting multilevel logic implementations.

Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988

On the verification of sequential machines at differing levels of abstraction.

Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988

Techniques for multilayer channel routing.

Douglas Braun, Jeffrey L. Burns, Fabio Romeo, Alberto L. Sangiovanni-Vincentelli, Kartikeya Mayaram, Srinivas Devadas, Hi-Keung Tony Ma

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988

An Incomplete Scan Design Approach to Test Generation for Sequential Machines.

Hi-Keung Tony Ma, A. Richard Newton, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Proceedings International Test Conference 1988, 1988

Synthesis and Optimization Procedures for Fully and Easily Testable Sequential Machines.

Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Proceedings International Test Conference 1988, 1988

1986

Mixed-level fault coverage estimation.

Hi-Keung Tony Ma, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986

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

Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986