PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Pixley, Carl"

Author of the publication

copydeleteadd this publication to your clipboard
Panel: Assertion-Based Verification -What's the Big Deal?

, , , , , , and . HLDVT, page 183. IEEE Computer Society, (2006)

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.

Brian Carlsen University of Stuttgart

Carl Schölzel University of Stuttgart

Carl Simon University of Stuttgart

Carl Niklas Haufe University of Stuttgart

Robert-Carl Rapp University of Stuttgart

 

Other publications of authors with the same name

Guest Editors' Introduction: Exploring Synergies for Design Verification., and . IEEE Design & Test of Computers, 21 (6): 461-463 (2004)Theory of safe replacements for sequential circuits., , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 20 (2): 249-265 (2001)Automatic Vector Generation Using Constraints and Biasing., , , , and . J. Electronic Testing, 16 (1-2): 107-120 (2000)A Computation Theory and Implementation of Sequential Hardware Equivalence.. CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 293-320. DIMACS/AMS, (1990)Commercial Design Verification: Methodology and Tools., , , , , , , , , and . ITC, page 839-848. IEEE Computer Society, (1996)Memory Modeling in ESL-RTL Equivalence Checking., , and . DAC, page 205-209. IEEE, (2007)A Framework for Constrained Functional Verification., , , and . ICCAD, page 142-145. IEEE Computer Society / ACM, (2003)Simplifying Boolean constraint solving for random simulation-vector generation., , , and . ICCAD, page 123-127. ACM / IEEE Computer Society, (2002)Minimum Length Synchronizing Sequences of Finite State Machine., , and . DAC, page 463-468. ACM Press, (1993)Guest Editors' Introduction: The True State of the Art of ESL Design., , and . IEEE Design & Test of Computers, 23 (5): 335-337 (2006)