Searching for authors named "Carl Pixley" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

The validity of retiming sequential circuits
by Vigyan Singhal, Carl Pixley — 1995 — In Proc. of the IEEE/ACM Design Automation Conf
…The Validity of Retiming Sequential Circuits Vigyan Singhal Abstract Carl Pixley ¡ Retiming has…
Cited by 20 (6 self) – Add To MetaCart

Formal Verification of FIRE: A Case Study
by Jae-young Jang, Shaz Qadeer, Matt Kaufmann, Carl Pixley — 1997 — In DAC
…Formal Verification of FIRE: A Case Study Jae-Young Jang Shaz Qadeer Matt Kaufmann Carl Pixley…
Cited by 2 (0 self) – Add To MetaCart

The Verification Problem for Safe Replaceability
by Vigyan Singhal Carl, Carl Pixley — 1994 — In Proceedings of 6th International Conference on Computer-Aided Verification, CAV'94
…The Verification Problem for Safe Replaceability Vigyan Singhal ? Carl Pixley Computer Science…
Add To MetaCart

Power-up Delay for Retiming Digital Circuits
by Vigyan Singhal, Carl Pixley, Robert K. Brayton — 1995 — In Proc. ISCAS
…Power-up Delay for Retiming Digital Circuits Vigyan Singhal y Carl Pixley z Robert K. Brayton…
Cited by 3 (0 self) – Add To MetaCart

Modeling Design Constraints and Biasing in Simulation Using BDDs
by Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz — 1999
…this paper we provide an alternative approach to environment modeling --- we introduce a tool, SimGen, and an associated methodology which employs user-specified constraints to model the interaction between the design and its environment. Constraints are Boolean formulas involving the design signal…
Cited by 21 (2 self) – Add To MetaCart

Latch Redundancy Removal Without Global Reset
by Shaz Qadeer, Robert K. Brayton, Vigyan Singhal, Carl Pixley — 1996 — in Proc. Intl. Conf. on Computer Design
…,braytong@(email omitted); vigyan@(email omitted); carl pixley@(email omitted); Abstract For circuits where there may be latches…
Cited by 8 (2 self) – Add To MetaCart

Exploiting Power-up Delay for Sequential Optimization
by Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton — 1995 — in Proc. European Design Automation Conf., (Brighton, Great Britain
…Exploiting Power-up Delay for Sequential Optimization Vigyan Singhal Carl Pixley y Adnan Aziz…
Cited by 9 (4 self) – Add To MetaCart

Multi-level Synthesis for Safe Replaceability
by Carl Pixley, Vigyan Singhal, Adnan Aziz, Robert K. Brayton — 1994 — in Proc. Intl. Conf. on Computer-Aided Design
…Abstract Multi-level Synthesis for Safe Replaceability Carl Pixley Vigyan Singhal Adnan Aziz y…
Cited by 12 (4 self) – Add To MetaCart

Formal Verification of FIRE: A Case Study
by Jae-Young Jang Shaz, Jae-young Jang, Shaz Qadeer, Matt Kaufmann, Carl Pixley — 1997 — In DAC
…Formal Verification of FIRE: A Case Study Jae-Young Jang Shaz Qadeer Matt Kaufmann Carl Pixley…
Add To MetaCart

Efficient Formal Design Verification: Data Structure + Algorithms
by Rajeev K. Ranjan, Adnan Aziz, Robert K. Brayton, Bernard Plessier, Carl Pixley — 1994
… y Robert K. Brayton Bernard Plessier Carl Pixley Department of Electrical Engg. and Computer Sc…
Cited by 10 (8 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB