Hi-Keung Tony Ma

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