  |
 |
| about atg | |
| Charter | |
| Mission | |
| Members | |
| Alumni | |
| events | |
| Seminar Series | |
| Technology Offsites | |
| Bios - ATG Current Members |  |
|
R&D Group Director in Hillsboro, OR.
He received his PhD in Mathematics from SUNY Binghamton in 1971. Dr. Pixley was a session chair for DAC 2001 and DATE 2002. He was part of SIA Roadmap committee from 1997-2000.
He was on the program committee for the following conferences:
DAC (PC): 2001, 2002, 2003
DATE 2002, 2003
HLDVT 1997 - 2004
MTV 1999 - 2004
ICCD 1997 - 2000
FMCAD
CAV 1996-1999
Dr. Pixley was invited to address or serve on panels for the following conferences:
PDPTA 1999
HLDVT 1999, 2000, 2001
DAC 2003
ASICON 2003
MemoCode 2004
He is the verification editor for IEEE Design and Test Journal. Dr. Pixley's professional affiliations are with IEEE, AMS, and MAA.
- SoCKit
- Method and Apparatus for Solving Constraints
- Apparatus and Method for Determining Sequential Hardware Equivalence
- Method and Data Processing System for Verifying the Correct Operation of a Tri-state Multiplexer in a Circuit Design
Publications:
2004:
- Non-Miter-Based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders
- Appeared: June 23-25 Invited talk at Memocode 2004 "Designers Want Proofs!
But Show Me the Money" Carl Pixley, w. Steven McMaster, Aruna Chittor, Fred Meyer. - Appeared: Nov-Dec 2004: Editorial "Exploring Synergies for Design Verification" Carl Pixley w. Sharad Malik
- Accepted: Dec. '04 invited Editorial submitted for System Design Frontier,
Carl Pixley - Accepted: Dec. 2004 "Constructing Efficient Formal Models from High-Level
Models Using Symbolic Simulation" Carl Pixley with Alfred Koelbl,
Journal: IEEE Transactions on Parallel
- Simplifying Circuits for Formal Verification using Parametric Representation Programming
