Robert F. Damiano

17 papers A* 7A 3C 4Journal 2Unranked 1

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