Robert F. Damiano

According to our database, Robert F. Damiano authored at least 17 papers between 1989 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2004

Verification: what works and what doesn't.

Francine Bacchini, Robert F. Damiano, Bob Bentley, Kurt Baty, Kevin Normoyle, Makoto Ishii, Einat Yogev

Proceedings of the 41th Design Automation Conference, 2004

2003

Guiding SAT Diagnosis with Tree Decompositions.

Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Checking satisfiability of a conjunction of BDDs.

Robert F. Damiano, James H. Kukula

Proceedings of the 40th Design Automation Conference, 2003

2002

Handling special constructs in symbolic simulation.

Alfred Kölbl, James H. Kukula, Kurt Antreich, Robert F. Damiano

Proceedings of the 39th Design Automation Conference, 2002

A practical and efficient method for compare-point matching.

Demos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion

Proceedings of the 39th Design Automation Conference, 2002

2001

Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines.

Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano

Proceedings of the 38th Design Automation Conference, 2001

Symbolic RTL Simulation.

Alfred Kölbl, James H. Kukula, Robert F. Damiano

Proceedings of the 38th Design Automation Conference, 2001

2000

Smart Simulation Using Collaborative Formal and Simulation Engines.

Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

1999

A Robust Solution to the Timing Convergence Problem in High-Performance Design.

Narendra V. Shenoy, Mahesh A. Iyer, Robert F. Damiano, Kevin Harer, Hi-Keung Tony Ma, Paul Thilking

Proceedings of the IEEE International Conference On Computer Design, 1999

1994

Timing Verification and Optimization for the PowerPC^TM Processor Family.

Robert E. Mains, Thomas A. Mosher, Lukas P. P. P. van Ginneken, Robert F. Damiano

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

In the Driver's Seat of BooleDozer.

Daniel Brand, Robert F. Damiano, Lukas P. P. P. van Ginneken, Anthony D. Drumm

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

1993

Benchmarking Parallel Processing Platforms: An Applications Perspective.

Robert B. Mueller-Thuns, Daniel G. Saab, Robert F. Damiano, Jacob A. Abraham

IEEE Trans. Parallel Distributed Syst., 1993

VLSI logic and fault simulation on general-purpose parallel computers.

Robert B. Mueller-Thuns, Daniel G. Saab, Robert F. Damiano, Jacob A. Abraham

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993

1992

BDDMAP: A Technology Mapper Based on a New Covering Algorithm.

David S. Kung, Robert F. Damiano, Theresa A. Nix, David J. Geiger

Proceedings of the 29th Design Automation Conference, 1992

1991

Dual Global Flow.

Robert F. Damiano, Len Berman

Proceedings of the Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1991

1990

The EVE companion simulator.

Daniel K. Beece, Robert F. Damiano, Georgina Papp, R. Schoen

Proceedings of the European Design Automation Conference, 1990

1989

Portable parallel logic and fault simulation.

Robert B. Mueller-Thuns, Daniel G. Saab, Robert F. Damiano, Jacob A. Abraham

Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989