Ken Albin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2001–2003
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | DAC | Constraint synthesis for environment modeling in functional verification. | Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley |
| 2003 | ICCAD | A Framework for Constrained Functional Verification. | Jun Yuan, Carl Pixley, Adnan Aziz, Ken Albin |
| 2002 | ICCAD | Simplifying Boolean constraint solving for random simulation-vector generation. | Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley |
| 2001 | DAC | Nuts and Bolts of Core and SoC Verification. | Ken Albin |