Jun Yuan

According to our database, Jun Yuan authored at least 13 papers between 1996 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2006

Constraint-based verification.

Jun Yuan, Carl Pixley, Adnan Aziz

Springer, ISBN: 978-0-387-25947-5, 2006

2004

Simplifying Boolean constraint solving for random simulation-vector generation.

Jun Yuan, Adnan Aziz, Carl Pixley, Ken Albin

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004

2003

A Framework for Constrained Functional Verification.

Jun Yuan, Carl Pixley, Adnan Aziz, Ken Albin

Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

Constraint synthesis for environment modeling in functional verification.

Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley

Proceedings of the 40th Design Automation Conference, 2003

2002

A Method for Synthesizing Boolean Constrains.

Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

Simplifying Constraint Solving in Random Simulation Generation.

Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

2001

Efficient control state-space search.

Adnan Aziz, James H. Kukula, Thomas R. Shiple, Jun Yuan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001

2000

Automatic Vector Generation Using Constraints and Biasing.

Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz

J. Electron. Test., 2000

1999

Integrated Formal and Informal Design Verification of Commercial Integrated Circuits.

Carl Pixley, Kurt Shultz, Jun Yuan

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Modeling design constraints and biasing in simulation using BDDs.

Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

1998

Approximate reachability don't cares for CTL model checking.

In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

1997

On Combining Formal and Informal Verification.

Jun Yuan, Jian Shen, Jacob A. Abraham, Adnan Aziz

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Commercial Design Verification: Methodology and Tools.

Carl Pixley, Noel R. Strader, William C. Bruce, Jaehong Park, Matt Kaufmann, Kurt Shultz, Michael Burns, Jainendra Kumar, Jun Yuan, Janet Nguyen

Proceedings of the Proceedings IEEE International Test Conference 1996, 1996