Hi-Keung Tony Ma - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2008

Cell Swapping Based Migration Methodology for Analog and Custom LayoutsShabbir H. Batterywala, Sambuddha Bhattacharya, Subramanian Rajagopalan, Hi-Keung Tony Ma, Narendra V. Shenoy. isqed 2008: 450-455 [doi]

On Efficient and Robust Constraint Generation for Practical Layout LegalizationSambuddha Bhattacharya, Shabbir H. Batterywala, Subramanian Rajagopalan, Hi-Keung Tony Ma, Narendra V. Shenoy. isqed 2008: 379-384 [doi]

2005

Supporting sequential assumptions in hybrid verificationEduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma. aspdac 2005: 1035-1038 [doi]

2002

A practical and efficient method for compare-point matchingDemos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion. dac 2002: 305-310 [doi]

2001

Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid EnginesDong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano. dac 2001: 35-40 [doi]

1999

A Robust Solution to the Timing Convergence Problem in High-Performance DesignNarendra V. Shenoy, Mahesh A. Iyer, Robert F. Damiano, Kevin Harer, Hi-Keung Tony Ma, Paul Thilking. iccd 1999: 250-257 [doi]

1993

On the over-specification problem in sequential ATPG algorithmsKwang-Ting Cheng, Hi-Keung Tony Ma. tcad, 12(10):1599-1604, 1993. [doi]

1992

On the Over-Specification Problem in Sequential ATPG AlgorithmsKwang-Ting Cheng, Hi-Keung Tony Ma. dac 1992: 16-21 [doi]

1990

Redundancies and don t cares in sequential logic synthesisSrinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton. et, 1(1):15-30, 1990. [doi]

Easily testable PLA-based finite state machinesSrinivas Devadas, Hi-Keung Tony Ma. tcad, 9(6):604-611, 1990. [doi]

Irredundant sequential machines via optimal logic synthesisSrinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli. tcad, 9(1):8-18, 1990. [doi]

1989

1988

Techniques for multilayer channel routingDouglas Braun, Jeffrey L. Burns, Fabio Romeo, Alberto L. Sangiovanni-Vincentelli, Kartikeya Mayaram, Srinivas Devadas, Hi-Keung Tony Ma. tcad, 7(6):698-712, 1988. [doi]

On the verification of sequential machines at differing levels of abstractionSrinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton. tcad, 7(6):713-722, 1988. [doi]

MUSTANG: state assignment of finite state machines targeting multilevel logic implementationsSrinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli. tcad, 7(12):1290-1300, 1988. [doi]

Synthesis and Optimization Procedures for Fully and Easily Testable Sequential MachinesSrinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli. itc 1988: 621-630

Test generation for sequential circuitsHi-Keung Tony Ma, Srinivas Devadas, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli. tcad, 7(10):1081-1093, 1988. [doi]

An Incomplete Scan Design Approach to Test Generation for Sequential MachinesHi-Keung Tony Ma, A. Richard Newton, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli. itc 1988: 730-734

1987

On the Verification of Sequential Machines at Differing Levels of AbstractionSrinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton. dac 1987: 271-276 [doi]

Logic Verification Algorithms and Their Parallel ImplementationHi-Keung Tony Ma, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli, R. Wei. dac 1987: 283-290 [doi]

1986

Chameleon: a new multi-layer channel routerDouglas Braun, Jeffrey L. Burns, Srinivas Devadas, Hi-Keung Tony Ma, Kartikeya Mayaram, Fabio Romeo, Alberto L. Sangiovanni-Vincentelli. dac 1986: 495-502 [doi]

Mixed-level fault coverage estimationHi-Keung Tony Ma, Alberto L. Sangiovanni-Vincentelli. dac 1986: 553-559 [doi]

Sign in or sign up to see more results.

runs on WebDSL