Ken Albin

According to our database, Ken Albin authored at least 8 papers between 2001 and 2004.

Collaborative distances:

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

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

Formal Verification Successes at Motorola.

Magdy S. Abadir, Ken Albin, John Havlicek, Narayanan Krishnamurthy, Andrew K. Martin

Formal Methods Syst. Des., 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

Experience with term level modeling and verification of the M*CORE ^TM microprocessor core.

Shuvendu K. Lahiri, Carl Pixley, Ken Albin

Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001

Nuts and Bolts of Core and SoC Verification.

Ken Albin

Proceedings of the 38th Design Automation Conference, 2001