Concepedia
Statistics
Publications
31
Citations
941
H-Index
19
Active since
1988
Affiliations
Motorola (United States)(Current)
Synopsys (United States)
University of California, Berkeley
University of Colorado Boulder
The University of Texas at Austin
Carl Pixley is an author at Motorola (United States) specializing in computer engineering, computer science, and computer architecture.
Publications per year
1988–2009
A theory and implementation of sequential hardware equivalence
Carl Pixley · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1992 · 102 citations
Engineering, Computer Engineering, Computer Science +17
Synchronizing sequences and symbolic traversal techniques in test generation
Hyunwoo Cho, Seh-Woong Jeong, Fabio Somenzi et al. · Journal of Electronic Testing · 1993 · 78 citations
Computing, Computer Engineering, Computer Science +9
Modeling design constraints and biasing in simulation using BDDs
Jianmin Yuan, Kurt Shultz, Carl Pixley et al. · 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) · 2003 · 66 citations
Architecture, Computer Engineering, Computer Science +17
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
Exact calculation of synchronization sequences based on binary decision diagrams
Carl Pixley, Seh-Woong Jeong, Gary D. Hachtel · Design Automation Conference · 1992 · 49 citations
Engineering, Computer Engineering, Computer Science +13
1–5 of 31