( en | de | ru )

 

Disambiguation of "Pixley, Carl"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification of FIRE: A Case Study.

, , , and . DAC, page 173-177. ACM Press, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wolfgang Carl

Julia Carli

Gunter Carl

Jörg Carls

Lars-Anders Carlson

 

Other publications of authors with the same name

Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams., , and . DAC, page 620-623. IEEE Computer Society Press, (1992)Formal verification - prove it or pitch it., , , , , , , , and . DAC, page 710-711. ACM, (2003)Experience with term level modeling and verification of the M*CORE TM microprocessor core., , and . HLDVT, page 109-114. IEEE Computer Society, (2001)Automatic Derivation of FSM Specification to Implementation Encoding., , and . ICCD, page 245-249. IEEE Computer Society, (1991)Formal Verification of FIRE: A Case Study., , , and . DAC, page 173-177. ACM Press, (1997)The Verifiacation Problem for Safe Replaceability., and . CAV, volume 818 of Lecture Notes in Computer Science, page 311-323. Springer, (1994)Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders., and . FMCAD, volume 3312 of Lecture Notes in Computer Science, page 144-158. Springer, (2004)Guest Editor's Introduction: Formal Verification of Commercial Integrated Circuits.. IEEE Des. Test Comput., 18 (4): 4-5 (2001)Constraint synthesis for environment modeling in functional verification., , , and . DAC, page 296-299. ACM, (2003)Integrated Formal and Informal Design Verification of Commercial Integrated Circuits., , and . PDPTA, page 1061-1068. CSREA Press, (1999)