( en | de | ru )

 

Disambiguation of "Pixley, Carl"

Author of the publication

copydeleteadd this publication to your clipboard
Commercial Design Verification: Methodology and Tools.

, , , , , , , , , and . ITC, page 839-848. IEEE Computer Society, (1996)

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.

Lars-Anders Carlson

Jörg Carls

Petra Carl

Wolfgang Carl

Julia Carli

 

Other publications of authors with the same name

Formal Verification of FIRE: A Case Study., , , and . DAC, page 173-177. ACM Press, (1997)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)The Verifiacation Problem for Safe Replaceability., and . CAV, volume 818 of Lecture Notes in Computer Science, page 311-323. Springer, (1994)Guest Editor's Introduction: Formal Verification of Commercial Integrated Circuits.. IEEE Des. Test Comput., 18 (4): 4-5 (2001)Guest Editors' Introduction: The True State of the Art of ESL Design., , and . IEEE Des. Test Comput., 23 (5): 335-337 (2006)Panel Summaries., and . IEEE Des. Test Comput., 20 (4): 86-88 (2003)Integrated Formal and Informal Design Verification of Commercial Integrated Circuits., , and . PDPTA, page 1061-1068. CSREA Press, (1999)Constraint synthesis for environment modeling in functional verification., , , and . DAC, page 296-299. ACM, (2003)Formal verification - prove it or pitch it., , , , , , , , and . DAC, page 710-711. ACM, (2003)Sequential optimization in the absence of global reset., , , , and . ACM Trans. Design Autom. Electr. Syst., 8 (2): 222-251 (2003)