Ken Albin

Simplifying Constraint Solving in Random Simulation Generation

Adnan Aziz, Carl Pixley, Jun Yuan, 2002, International Workshop on Logic & Synthesis.

A framework for constrained functional verification

J. Yuan, C. Pixley, A. Aziz, 2003, ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486).

Constraint synthesis for environment modeling in functional verification

K. Albin, A. Aziz, C. Pixley, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

Simplifying Boolean constraint solving for random simulation-vector generation

Adnan Aziz, Carl Pixley, Jun Yuan, 2002, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Testing the FM9001 Microprocessor

Bishop C. Brock, Warren A. Hunt, Ken Albin, 1995 .