dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Hi-Keung Tony Ma (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Irredundant sequential machines via optimal logic synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 9(1): 8-18 (1990)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: Redundancies and don't cares in sequential logic synthesis. J. Electronic Testing 1(1): 15-30 (1990)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: Easily testable PLA-based finite state machines. FTCS 1989: 102-109
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: Redundancies and Don't Cares in Sequential Logic Synthesis. ITC 1989: 491-500
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas 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. on CAD of Integrated Circuits and Systems 8(10): 1100-1107 (1989)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas 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: 621-630
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHi-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: 730-734
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHi-Keung Tony Ma, Srinivas Devadas, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Test generation for sequential circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 7(10): 1081-1093 (1988)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas 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. on CAD of Integrated Circuits and Systems 7(12): 1290-1300 (1988)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: On the verification of sequential machines at differing levels of abstraction. IEEE Trans. on CAD of Integrated Circuits and Systems 7(6): 713-722 (1988)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: On the Verification of Sequential Machines at Differing Levels of Abstraction. DAC 1987: 271-276

Selection of 11 from 25 records - Hi-Keung Tony Ma has 27 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page