Jun Yuan

14 papers A* 2A 5Misc 1Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2006 — book
Constraint-based verification.
Jun Yuan, Carl Pixley, Adnan Aziz
2004 J jnl
Simplifying Boolean constraint solving for random simulation-vector generation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Jun Yuan, Adnan Aziz, Carl Pixley, Ken Albin
2003 A conf
A Framework for Constrained Functional Verification.
ICCAD
Jun Yuan, Carl Pixley, Adnan Aziz, Ken Albin
2003 A* conf
Constraint synthesis for environment modeling in functional verification.
DAC
Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley
2002 — conf
A Method for Synthesizing Boolean Constrains.
IWLS
Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz
2002 A conf
Simplifying Boolean constraint solving for random simulation-vector generation.
ICCAD
Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley
2002 — conf
Simplifying Constraint Solving in Random Simulation Generation.
IWLS
Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley
2001 J jnl
Efficient control state-space search.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Adnan Aziz, James H. Kukula, Thomas R. Shiple, Jun Yuan
2000 J jnl
Automatic Vector Generation Using Constraints and Biasing.
J. Electron. Test.
Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz
1999 Misc conf
Integrated Formal and Informal Design Verification of Commercial Integrated Circuits.
PDPTA
Carl Pixley, Kurt Shultz, Jun Yuan
1999 A conf
Modeling design constraints and biasing in simulation using BDDs.
ICCAD
Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz
1998 A conf
Approximate reachability don't cares for CTL model checking.
ICCAD
In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley
1997 A* conf
On Combining Formal and Informal Verification.
CAV
Jun Yuan, Jian Shen, Jacob A. Abraham, Adnan Aziz
1996 A conf
Commercial Design Verification: Methodology and Tools.
ITC
Carl Pixley, Noel R. Strader, William C. Bruce, Jaehong Park, Matt Kaufmann, Kurt Shultz, Michael Burns, Jainendra Kumar, Jun Yuan, Janet Nguyen