2004 |
8 | EE | Jun Yuan,
Adnan Aziz,
Carl Pixley,
Ken Albin:
Simplifying Boolean constraint solving for random simulation-vector generation.
IEEE Trans. on CAD of Integrated Circuits and Systems 23(3): 412-420 (2004) |
2003 |
7 | EE | Jun Yuan,
Ken Albin,
Adnan Aziz,
Carl Pixley:
Constraint synthesis for environment modeling in functional verification.
DAC 2003: 296-299 |
6 | EE | Jun Yuan,
Carl Pixley,
Adnan Aziz,
Ken Albin:
A Framework for Constrained Functional Verification.
ICCAD 2003: 142-145 |
5 | EE | Magdy S. Abadir,
Ken Albin,
John Havlicek,
Narayanan Krishnamurthy,
Andrew K. Martin:
Formal Verification Successes at Motorola.
Formal Methods in System Design 22(2): 117-123 (2003) |
2002 |
4 | EE | Jun Yuan,
Ken Albin,
Adnan Aziz,
Carl Pixley:
Simplifying Boolean constraint solving for random simulation-vector generation.
ICCAD 2002: 123-127 |
3 | | Jun Yuan,
Ken Albin,
Adnan Aziz,
Carl Pixley:
Simplifying Constraint Solving in Random Simulation Generation.
IWLS 2002: 185-190 |
2 | | Jun Yuan,
Kurt Shultz,
John Havlicek,
Ken Albin,
Adnan Aziz:
A Method for Synthesizing Boolean Constrains.
IWLS 2002: 351-353 |
2001 |
1 | EE | Ken Albin:
Nuts and Bolts of Core and SoC Verification.
DAC 2001: 249-252 |