Concepedia

C. Pixley

CP

Statistics

Publications

1

Citations

21

H-Index

1

Active since

2003

Affiliations

Motorola (United States)(Current)

C. Pixley is an author at Motorola (United States) specializing in computer-aided design, mathematical programming, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationFunctional AnalysisSystems EngineeringComputer Engineering

Publications per year

2003–2003

1

Publications

1

A framework for constrained functional verification

Jun Yuan, C. Pixley, A. Aziz et al. · ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486) · 2003 · 21 citations

Mathematical Programming, Engineering, Verification +22

1–1 of 1