BibTeX records: Hi-Keung Tony Ma

download as .bib file

@inproceedings{DBLP:conf/isqed/BhattacharyaBRMS08,
  author       = {Sambuddha Bhattacharya and
                  Shabbir H. Batterywala and
                  Subramanian Rajagopalan and
                  Hi{-}Keung Tony Ma and
                  Narendra V. Shenoy},
  title        = {On Efficient and Robust Constraint Generation for Practical Layout
                  Legalization},
  booktitle    = {9th International Symposium on Quality of Electronic Design {(ISQED}
                  2008), 17-19 March 2008, San Jose, CA, {USA}},
  pages        = {379--384},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ISQED.2008.4479761},
  doi          = {10.1109/ISQED.2008.4479761},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isqed/BhattacharyaBRMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isqed/BatterywalaBRMS08,
  author       = {Shabbir H. Batterywala and
                  Sambuddha Bhattacharya and
                  Subramanian Rajagopalan and
                  Hi{-}Keung Tony Ma and
                  Narendra V. Shenoy},
  title        = {Cell Swapping Based Migration Methodology for Analog and Custom Layouts},
  booktitle    = {9th International Symposium on Quality of Electronic Design {(ISQED}
                  2008), 17-19 March 2008, San Jose, CA, {USA}},
  pages        = {450--455},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ISQED.2008.4479775},
  doi          = {10.1109/ISQED.2008.4479775},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isqed/BatterywalaBRMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aspdac/CernyDHHM05,
  author       = {Eduard Cerny and
                  Ashvin Dsouza and
                  Kevin Harer and
                  Pei{-}Hsin Ho and
                  Hi{-}Keung Tony Ma},
  editor       = {Tingao Tang},
  title        = {Supporting sequential assumptions in hybrid verification},
  booktitle    = {Proceedings of the 2005 Conference on Asia South Pacific Design Automation,
                  {ASP-DAC} 2005, Shanghai, China, January 18-21, 2005},
  pages        = {1035--1038},
  publisher    = {{ACM} Press},
  year         = {2005},
  url          = {https://doi.org/10.1145/1120725.1120818},
  doi          = {10.1145/1120725.1120818},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/CernyDHHM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/AnastasakisDMS02,
  author       = {Demos Anastasakis and
                  Robert F. Damiano and
                  Hi{-}Keung Tony Ma and
                  Ted Stanion},
  title        = {A practical and efficient method for compare-point matching},
  booktitle    = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
                  New Orleans, LA, USA, June 10-14, 2002},
  pages        = {305--310},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/513918.513997},
  doi          = {10.1145/513918.513997},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AnastasakisDMS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/WangHLKZMD01,
  author       = {Dong Wang and
                  Pei{-}Hsin Ho and
                  Jiang Long and
                  James H. Kukula and
                  Yunshan Zhu and
                  Hi{-}Keung Tony Ma and
                  Robert F. Damiano},
  title        = {Formal Property Verification by Abstraction Refinement with Formal,
                  Simulation and Hybrid Engines},
  booktitle    = {Proceedings of the 38th Design Automation Conference, {DAC} 2001,
                  Las Vegas, NV, USA, June 18-22, 2001},
  pages        = {35--40},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/378239.378260},
  doi          = {10.1145/378239.378260},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/WangHLKZMD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccd/ShenoyIDHMT99,
  author       = {Narendra V. Shenoy and
                  Mahesh A. Iyer and
                  Robert F. Damiano and
                  Kevin Harer and
                  Hi{-}Keung Tony Ma and
                  Paul Thilking},
  title        = {A Robust Solution to the Timing Convergence Problem in High-Performance
                  Design},
  booktitle    = {Proceedings of the {IEEE} International Conference On Computer Design,
                  {VLSI} in Computers and Processors, {ICCD} '99, Austin, Texas, USA,
                  October 10-13, 1999},
  pages        = {250--257},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ICCD.1999.808433},
  doi          = {10.1109/ICCD.1999.808433},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/ShenoyIDHMT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/ChengM93,
  author       = {Kwang{-}Ting Cheng and
                  Hi{-}Keung Tony Ma},
  title        = {On the over-specification problem in sequential {ATPG} algorithms},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {12},
  number       = {10},
  pages        = {1599--1604},
  year         = {1993},
  url          = {https://doi.org/10.1109/43.256935},
  doi          = {10.1109/43.256935},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcad/ChengM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/ChengM92,
  author       = {Kwang{-}Ting Cheng and
                  Hi{-}Keung Tony Ma},
  editor       = {Daniel G. Schweikert},
  title        = {On the Over-Specification Problem in Sequential {ATPG} Algorithms},
  booktitle    = {Proceedings of the 29th Design Automation Conference, Anaheim, California,
                  USA, June 8-12, 1992},
  pages        = {16--21},
  publisher    = {{IEEE} Computer Society Press},
  year         = {1992},
  url          = {http://portal.acm.org/citation.cfm?id=113938.113933},
  timestamp    = {Thu, 16 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ChengM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/et/DevadasMN90,
  author       = {Srinivas Devadas and
                  Hi{-}Keung Tony Ma and
                  A. Richard Newton},
  title        = {Redundancies and don't cares in sequential logic synthesis},
  journal      = {J. Electron. Test.},
  volume       = {1},
  number       = {1},
  pages        = {15--30},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00134012},
  doi          = {10.1007/BF00134012},
  timestamp    = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/et/DevadasMN90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/DevadasMNS90,
  author       = {Srinivas Devadas and
                  Hi{-}Keung Tony Ma and
                  A. Richard Newton and
                  Alberto L. Sangiovanni{-}Vincentelli},
  title        = {Irredundant sequential machines via optimal logic synthesis},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {9},
  number       = {1},
  pages        = {8--18},
  year         = {1990},
  url          = {https://doi.org/10.1109/43.45852},
  doi          = {10.1109/43.45852},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/DevadasMNS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/DevadasM90,
  author       = {Srinivas Devadas and
                  Hi{-}Keung Tony Ma},
  title        = {Easily testable PLA-based finite state machines},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {9},
  number       = {6},
  pages        = {604--611},
  year         = {1990},
  url          = {https://doi.org/10.1109/43.55190},
  doi          = {10.1109/43.55190},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/DevadasM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/MaDWS89,
  author       = {Hi{-}Keung Tony Ma and
                  Srinivas Devadas and
                  Ruey{-}Sing Wei and
                  Alberto L. Sangiovanni{-}Vincentelli},
  title        = {Logic verification algorithms and their parallel implementation},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {8},
  number       = {2},
  pages        = {181--189},
  year         = {1989},
  url          = {https://doi.org/10.1109/43.21836},
  doi          = {10.1109/43.21836},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/MaDWS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/DevadasMNS89,
  author       = {Srinivas Devadas and
                  Hi{-}Keung Tony Ma and
                  A. Richard Newton and
                  Alberto L. Sangiovanni{-}Vincentelli},
  title        = {A synthesis and optimization procedure for fully and easily testable
                  sequential machines},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {8},
  number       = {10},
  pages        = {1100--1107},
  year         = {1989},
  url          = {https://doi.org/10.1109/43.39071},
  doi          = {10.1109/43.39071},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/DevadasMNS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/DevadasMN89,
  author       = {Srinivas Devadas and
                  Hi{-}Keung Tony Ma and
                  A. Richard Newton},
  title        = {Easily testable PLA-based finite state machines},
  booktitle    = {Proceedings of the Nineteenth International Symposium on Fault-Tolerant
                  Computing, {FTCS} 1989, Chicago, IL, USA, 21-23 June, 1989},
  pages        = {102--109},
  publisher    = {{IEEE} Computer Society},
  year         = {1989},
  url          = {https://doi.org/10.1109/FTCS.1989.105551},
  doi          = {10.1109/FTCS.1989.105551},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/DevadasMN89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itc/DevadasMN89,
  author       = {Srinivas Devadas and
                  Hi{-}Keung Tony Ma and
                  A. Richard Newton},
  title        = {Redundancies and Don't Cares in Sequential Logic Synthesis},
  booktitle    = {Proceedings International Test Conference 1989, Washington, D.C.,
                  USA, August 1989},
  pages        = {491--500},
  publisher    = {{IEEE} Computer Society},
  year         = {1989},
  url          = {https://doi.org/10.1109/TEST.1989.82332},
  doi          = {10.1109/TEST.1989.82332},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itc/DevadasMN89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/BraunBRSMDM88,
  author       = {Douglas Braun and
                  Jeffrey L. Burns and
                  Fabio Romeo and
                  Alberto L. Sangiovanni{-}Vincentelli and
                  Kartikeya Mayaram and
                  Srinivas Devadas and
                  Hi{-}Keung Tony Ma},
  title        = {Techniques for multilayer channel routing},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {7},
  number       = {6},
  pages        = {698--712},
  year         = {1988},
  url          = {https://doi.org/10.1109/43.3209},
  doi          = {10.1109/43.3209},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/BraunBRSMDM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/DevadasMN88,
  author       = {Srinivas Devadas and
                  Hi{-}Keung Tony Ma and
                  A. Richard Newton},
  title        = {On the verification of sequential machines at differing levels of
                  abstraction},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {7},
  number       = {6},
  pages        = {713--722},
  year         = {1988},
  url          = {https://doi.org/10.1109/43.3210},
  doi          = {10.1109/43.3210},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/DevadasMN88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/MaDNS88,
  author       = {Hi{-}Keung Tony Ma and
                  Srinivas Devadas and
                  A. Richard Newton and
                  Alberto L. Sangiovanni{-}Vincentelli},
  title        = {Test generation for sequential circuits},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {7},
  number       = {10},
  pages        = {1081--1093},
  year         = {1988},
  url          = {https://doi.org/10.1109/43.7807},
  doi          = {10.1109/43.7807},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/MaDNS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/DevadasMNS88,
  author       = {Srinivas Devadas and
                  Hi{-}Keung Tony Ma and
                  A. Richard Newton and
                  Alberto L. Sangiovanni{-}Vincentelli},
  title        = {{MUSTANG:} state assignment of finite state machines targeting multilevel
                  logic implementations},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {7},
  number       = {12},
  pages        = {1290--1300},
  year         = {1988},
  url          = {https://doi.org/10.1109/43.16807},
  doi          = {10.1109/43.16807},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/DevadasMNS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itc/DevadasMNS88,
  author       = {Srinivas Devadas and
                  Hi{-}Keung Tony Ma and
                  A. Richard Newton and
                  Alberto L. Sangiovanni{-}Vincentelli},
  title        = {Synthesis and Optimization Procedures for Fully and Easily Testable
                  Sequential Machines},
  booktitle    = {Proceedings International Test Conference 1988, Washington, D.C.,
                  USA, September 1988},
  pages        = {621--630},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/TEST.1988.207845},
  doi          = {10.1109/TEST.1988.207845},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/itc/DevadasMNS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itc/MaNDS88,
  author       = {Hi{-}Keung Tony Ma and
                  A. Richard Newton and
                  Srinivas Devadas and
                  Alberto L. Sangiovanni{-}Vincentelli},
  title        = {An Incomplete Scan Design Approach to Test Generation for Sequential
                  Machines},
  booktitle    = {Proceedings International Test Conference 1988, Washington, D.C.,
                  USA, September 1988},
  pages        = {730--734},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/TEST.1988.207858},
  doi          = {10.1109/TEST.1988.207858},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itc/MaNDS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/DevadasMN87,
  author       = {Srinivas Devadas and
                  Hi{-}Keung Tony Ma and
                  A. Richard Newton},
  editor       = {A. O'Neill and
                  D. Thomas},
  title        = {On the Verification of Sequential Machines at Differing Levels of
                  Abstraction},
  booktitle    = {Proceedings of the 24th {ACM/IEEE} Design Automation Conference. Miami
                  Beach, FL, USA, June 28 - July 1, 1987},
  pages        = {271--276},
  publisher    = {{IEEE} Computer Society Press / {ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/37888.37929},
  doi          = {10.1145/37888.37929},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/DevadasMN87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/MaDSW87,
  author       = {Hi{-}Keung Tony Ma and
                  Srinivas Devadas and
                  Alberto L. Sangiovanni{-}Vincentelli and
                  Ruey{-}Sing Wei},
  editor       = {A. O'Neill and
                  D. Thomas},
  title        = {Logic Verification Algorithms and Their Parallel Implementation},
  booktitle    = {Proceedings of the 24th {ACM/IEEE} Design Automation Conference. Miami
                  Beach, FL, USA, June 28 - July 1, 1987},
  pages        = {283--290},
  publisher    = {{IEEE} Computer Society Press / {ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/37888.37931},
  doi          = {10.1145/37888.37931},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/MaDSW87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/BraunBDMMRS86,
  author       = {Douglas Braun and
                  Jeffrey L. Burns and
                  Srinivas Devadas and
                  Hi{-}Keung Tony Ma and
                  Kartikeya Mayaram and
                  Fabio Romeo and
                  Alberto L. Sangiovanni{-}Vincentelli},
  editor       = {Don Thomas},
  title        = {Chameleon: a new multi-layer channel router},
  booktitle    = {Proceedings of the 23rd {ACM/IEEE} Design Automation Conference. Las
                  Vegas, NV, USA, June, 1986},
  pages        = {495--502},
  publisher    = {{IEEE} Computer Society Press},
  year         = {1986},
  url          = {https://doi.org/10.1145/318013.318092},
  doi          = {10.1145/318013.318092},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/BraunBDMMRS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/MaS86,
  author       = {Hi{-}Keung Tony Ma and
                  Alberto L. Sangiovanni{-}Vincentelli},
  editor       = {Don Thomas},
  title        = {Mixed-level fault coverage estimation},
  booktitle    = {Proceedings of the 23rd {ACM/IEEE} Design Automation Conference. Las
                  Vegas, NV, USA, June, 1986},
  pages        = {553--559},
  publisher    = {{IEEE} Computer Society Press},
  year         = {1986},
  url          = {https://doi.org/10.1145/318013.318102},
  doi          = {10.1145/318013.318102},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/MaS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.