Nuts and Bolts of Core and SoC Verification. - Ken Albin (DAC, 2001)

Experience with term level modeling and verification of the M*CORE TM microprocessor core. - Shuvendu K. Lahiri; Carl Pixley; Ken Albin (HLDVT, 2001)

Simplifying Constraint Solving in Random Simulation Generation. - Jun Yuan 007; Ken Albin; Adnan Aziz; Carl Pixley (IWLS, 2002)

A Method for Synthesizing Boolean Constrains. - Jun Yuan 007; Kurt Shultz; John Havlicek; Ken Albin; Adnan Aziz (IWLS, 2002)

Constraint synthesis for environment modeling in functional verification. - Jun Yuan 007; Ken Albin; Adnan Aziz; Carl Pixley (DAC, 2003)

A Framework for Constrained Functional Verification. - Jun Yuan 007; Carl Pixley; Adnan Aziz; Ken Albin (ICCAD, 2003)

Formal Verification Successes at Motorola. - Magdy S. Abadir; Ken Albin; John Havlicek; Narayanan Krishnamurthy; Andrew K. Martin (Formal Methods Syst. Des., 2003)

Simplifying Boolean constraint solving for random simulation-vector generation. - Jun Yuan 007; Adnan Aziz; Carl Pixley; Ken Albin (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004)