Ken Albin

Publication Activity (10 Years)

Years Active: 2001-2004
Publications (10 Years): 0

Publications

Jun Yuan, Adnan Aziz, Carl Pixley, Ken Albin
Simplifying Boolean constraint solving for random simulation-vector generation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23 (3) (2004)
Magdy S. Abadir, Ken Albin, John Havlicek, Narayanan Krishnamurthy, Andrew K. Martin
Formal Verification Successes at Motorola. Formal Methods Syst. Des. 22 (2) (2003)
Jun Yuan, Carl Pixley, Adnan Aziz, Ken Albin
A Framework for Constrained Functional Verification. ICCAD (2003)
Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley
Constraint synthesis for environment modeling in functional verification. DAC (2003)
Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley
Simplifying Boolean constraint solving for random simulation-vector generation. ICCAD (2002)
Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz
A Method for Synthesizing Boolean Constrains. IWLS (2002)
Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley
Simplifying Constraint Solving in Random Simulation Generation. IWLS (2002)
Shuvendu K. Lahiri, Carl Pixley, Ken Albin
microprocessor core. HLDVT (2001)
Ken Albin
Nuts and Bolts of Core and SoC Verification. DAC (2001)