Robert F. Damiano

Publication Activity (10 Years)

Years Active: 1989-2004
Publications (10 Years): 0

Publications

Francine Bacchini, Robert F. Damiano, Bob Bentley, Kurt Baty, Kevin Normoyle, Makoto Ishii, Einat Yogev
Verification: what works and what doesn't. DAC (2004)
Robert F. Damiano, James H. Kukula
Checking satisfiability of a conjunction of BDDs. DAC (2003)
Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu
Guiding SAT Diagnosis with Tree Decompositions. SAT (2003)
Alfred Kölbl, James H. Kukula, Kurt Antreich, Robert F. Damiano
Handling special constructs in symbolic simulation. DAC (2002)
Demos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion
A practical and efficient method for compare-point matching. DAC (2002)
Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. DAC (2001)
Alfred Kölbl, James H. Kukula, Robert F. Damiano
Symbolic RTL Simulation. DAC (2001)
Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long
Smart Simulation Using Collaborative Formal and Simulation Engines. ICCAD (2000)
Narendra V. Shenoy, Mahesh A. Iyer, Robert F. Damiano, Kevin Harer, Hi-Keung Tony Ma, Paul Thilking
A Robust Solution to the Timing Convergence Problem in High-Performance Design. ICCD (1999)
Daniel Brand, Robert F. Damiano, Lukas P. P. P. van Ginneken, Anthony D. Drumm
In the Driver's Seat of BooleDozer. ICCD (1994)
Robert E. Mains, Thomas A. Mosher, Lukas P. P. P. van Ginneken, Robert F. Damiano
Processor Family. ICCD (1994)
Robert B. Mueller-Thuns, Daniel G. Saab, Robert F. Damiano, Jacob A. Abraham
Benchmarking Parallel Processing Platforms: An Applications Perspective. IEEE Trans. Parallel Distributed Syst. 4 (8) (1993)
Robert B. Mueller-Thuns, Daniel G. Saab, Robert F. Damiano, Jacob A. Abraham
VLSI logic and fault simulation on general-purpose parallel computers. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12 (3) (1993)
David S. Kung, Robert F. Damiano, Theresa A. Nix, David J. Geiger
BDDMAP: A Technology Mapper Based on a New Covering Algorithm. DAC (1992)
Robert F. Damiano, Len Berman
Dual Global Flow. ICCD (1991)
Robert B. Mueller-Thuns, Daniel G. Saab, Robert F. Damiano, Jacob A. Abraham
Portable parallel logic and fault simulation. ICCAD (1989)