dblp.uni-trier.dewww.uni-trier.de

Robert F. Damiano Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
15EEFrancine Bacchini, Robert F. Damiano, Bob Bentley, Kurt Baty, Kevin Normoyle, Makoto Ishii, Einat Yogev: Verification: what works and what doesn't. DAC 2004: 274
2003
14EERobert F. Damiano, James H. Kukula: Checking satisfiability of a conjunction of BDDs. DAC 2003: 818-823
13EEPer Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu: Guiding SAT Diagnosis with Tree Decompositions. SAT 2003: 315-329
2002
12EEAlfred Kölbl, James H. Kukula, Kurt Antreich, Robert F. Damiano: Handling special constructs in symbolic simulation. DAC 2002: 105-110
11EEDemos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion: A practical and efficient method for compare-point matching. DAC 2002: 305-310
2001
10EEDong 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: 35-40
9EEAlfred Kölbl, James H. Kukula, Robert F. Damiano: Symbolic RTL Simulation. DAC 2001: 47-52
2000
8 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: 120-126
1999
7EENarendra 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: 250-257
1994
6 Robert E. Mains, Thomas A. Mosher, Lukas P. P. P. van Ginneken, Robert F. Damiano: Timing Verification and Optimization for the PowerPCTM Processor Family. ICCD 1994: 390-393
5 Daniel Brand, Robert F. Damiano, Lukas P. P. P. van Ginneken, Anthony D. Drumm: In the Driver's Seat of BooleDozer. ICCD 1994: 518-521
1993
4EERobert B. Mueller-Thuns, Daniel G. Saab, Robert F. Damiano, Jacob A. Abraham: Benchmarking Parallel Processing Platforms: An Applications Perspective. IEEE Trans. Parallel Distrib. Syst. 4(8): 947-954 (1993)
3EERobert B. Mueller-Thuns, Daniel G. Saab, Robert F. Damiano, Jacob A. Abraham: VLSI logic and fault simulation on general-purpose parallel computers. IEEE Trans. on CAD of Integrated Circuits and Systems 12(3): 446-460 (1993)
1992
2EEDavid S. Kung, Robert F. Damiano, Theresa A. Nix, David J. Geiger: BDDMAP: A Technology Mapper Based on a New Covering Algorithm. DAC 1992: 484-487
1991
1 Robert F. Damiano, Len Berman: Dual Global Flow. ICCD 1991: 49-53

Coauthor Index

1Jacob A. Abraham [3] [4]
2Demos Anastasakis [11]
3Kurt Antreich [12]
4Francine Bacchini [15]
5Kurt Baty [15]
6Bob Bentley [15]
7Len Berman [1]
8Valeria Bertacco [8]
9Per Bjesse [13]
10Daniel Brand [5]
11Anthony D. Drumm [5]
12David J. Geiger [2]
13Lukas P. P. P. van Ginneken [5] [6]
14Kevin Harer [7] [8]
15Pei-Hsin Ho [8] [10]
16Makoto Ishii [15]
17Mahesh A. Iyer [7]
18Alfred Kölbl [9] [12]
19James H. Kukula [8] [9] [10] [12] [13] [14]
20David S. Kung [2]
21Jiang Long [8] [10]
22Hi-Keung Tony Ma [7] [10] [11]
23Robert E. Mains [6]
24Thomas A. Mosher [6]
25Robert B. Mueller-Thuns [3] [4]
26Theresa A. Nix [2]
27Kevin Normoyle [15]
28Daniel G. Saab [3] [4]
29Narendra V. Shenoy [7]
30Thomas R. Shiple [8]
31Ted Stanion [11] [13]
32Jerry Taylor [8]
33Paul Thilking [7]
34Dong Wang [10]
35Einat Yogev [15]
36Yunshan Zhu [10] [13]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)