( en | de | ru )

 

Disambiguation of "Burch, Jerry R."

Author of the publication

copydeleteadd this publication to your clipboard
Conservative approximations for heterogeneous design.

, , and . EMSOFT, page 155-164. ACM, (2004)

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.

Thomas Burch

Jerry Chou

Jerry Ding

Thomas Burch

Stephanie Burch

 

Other publications of authors with the same name

Safe BDD Minimization Using Don't Cares., , , and . DAC, page 208-213. ACM Press, (1997)Using simulation and satisfiability to compute flexibilities in Boolean networks., , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (5): 743-755 (2006)Linear cofactor relationships in Boolean functions., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (6): 1011-1023 (2006)Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems., , and . ACSD, page 13-. IEEE Computer Society, (2001)Modeling hierarchical combinational circuits., , , and . ICCAD, page 612-617. IEEE Computer Society / ACM, (1993)Techniques for Verifying Superscalar Microprocessors.. DAC, page 552-557. ACM Press, (1996)Representing Circuits More Efficiently in Symbolic Model Checking., , and . DAC, page 403-407. ACM, (1991)Refinement preserving approximations for the design and verification of heterogeneous systems., , and . Formal Methods Syst. Des., 31 (1): 1-33 (2007)Symbolic model checking for sequential circuit verification., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 13 (4): 401-424 (1994)Sibling-substitution-based BDD minimization using don't cares., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (1): 44-55 (2000)