Jin Yang

Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis

William N. N. Hung, Xiaoyu Song, Guowu Yang et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2006 · 260 citations

Circuit Complexity, Quantum Cost, Engineering +19

BackSpace: Formal Analysis for Post-Silicon Debug

Flavio M. De Paula, Marcel Gort, Alan J. Hu et al. · 2008 · 90 citations

New Design, Engineering, Hardware Verification Language +17

Quantum logic synthesis by symbolic reachability analysis

William N. N. Hung, Xiaoyu Song, Guowu Yang et al. · 2004 · 83 citations

Logic Synthesis, Quantum Science, Quantum Logic +14

Introduction to generalized symbolic trajectory evaluation

Jin Yang, C.-J.H. Seger · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2003 · 67 citations

Engineering, Field Robotics, Verification +21

A full description of a scalable microfabrication process for arrayed electrowetting microprisms

Linlin Hou, J. Zhang, Nathan Smith et al. · Journal of Micromechanics and Microengineering · 2009 · 35 citations

Standard Planar Microfabrication, Engineering, Scalable Microfabrication Process +21