Concepedia
Statistics
Publications
31
Citations
934
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 formal methods, formal verification, and engineering.
Top concepts
EngineeringComputer EngineeringFormal MethodsFormal VerificationComputer ScienceSystems EngineeringComputer ArchitectureVerificationHardware SecurityAutomated Reasoning
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 · 101 citations
Hardware Modeling, Engineering, Verification +19
Synchronizing sequences and symbolic traversal techniques in test generation
Hyunwoo Cho, Seh-Woong Jeong, Fabio Somenzi et al. · Journal of Electronic Testing · 1993 · 77 citations
Engineering, Program Analysis, Software Testing +11
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 · 65 citations
Engineering, Verification, Computer-aided Verification +24
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
Mathematical Programming, Engineering, Conjunctive Boolean Constraints +19
Exact calculation of synchronization sequences based on binary decision diagrams
Carl Pixley, Seh-Woong Jeong, Gary D. Hachtel · Design Automation Conference · 1992 · 48 citations
Engineering, Computer Architecture, Computational Complexity +18
1–5 of 31