Concepedia

Ken Albin

KA

Statistics

Publications

6

Citations

180

H-Index

6

Active since

2001

Affiliations

Motorola (United States)(Current)

Synopsys (United States)

The University of Texas at Austin

Ken Albin is an author at Motorola (United States) specializing in computer engineering, computer science, and design automation.

Publications per year

2001–2004

6

Publications

6

Simplifying Boolean Constraint Solving for Random Simulation-Vector Generation

Jianmin Yuan, A. Aziz, Carl Pixley et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2004 · 51 citations

Computing, Computer Engineering, Computer Science +17

Experience with term level modeling and verification of the M*CORE/sup TM/ microprocessor core

Shuvendu K. Lahiri, Carl Pixley, Ken Albin · 2002 · 38 citations

Engineering, Computer Engineering, Computer Science +17

A Framework for Constrained Functional Verification

Jun Yuan, Carl Pixley, Adnan Aziz et al. · 2003 · 28 citations

Computing, Computer Engineering, Computer Science +16

Constraint synthesis for environment modeling in functional verification

Jun Yuan, Ken Albin, Adnan Aziz et al. · 2003 · 26 citations

Computing, Computer Engineering, Computer Science +16

Nuts and bolts of core and SoC verification

Ken Albin · 2001 · 22 citations

Engineering, Computer Engineering, Systems Design +5

1–5 of 6