Travelled to:1 × Italy
5 × USA
Collaborated with:J.H.Kukula A.Kölbl T.Stanion H.T.Ma Y.Zhu D.Anastasakis K.Antreich D.S.Kung T.A.Nix D.J.Geiger P.Bjesse F.Bacchini B.Bentley K.Baty K.Normoyle M.Ishii E.Yogev D.Wang P.Ho J.Long
Talks about:simul (3) symbol (2) formal (2) verif (2) what (2) decomposit (1) technolog (1) construct (1) algorithm (1) properti (1)
Person: Robert F. Damiano
DBLP: Damiano:Robert_F=
Contributed to:
20042003
2003200220011992Wrote 8 papers:
- DAC-2004-BacchiniDBBNIY #named #verification #what
- Verification: what works and what doesn’t (FB, RFD, BB, KB, KN, MI, EY), p. 274.
- DAC-2003-DamianoK #satisfiability
- Checking satisfiability of a conjunction of BDDs (RFD, JHK), pp. 818–823.
- SAT-2003-BjesseKDSZ #satisfiability
- Guiding SAT Diagnosis with Tree Decompositions (PB, JHK, RFD, TS, YZ), pp. 315–329.
- DAC-2002-AnastasakisDMS #performance
- A practical and efficient method for compare-point matching (DA, RFD, HKTM, TS), pp. 305–310.
- DAC-2002-KolblKAD #simulation
- Handling special constructs in symbolic simulation (AK, JHK, KA, RFD), pp. 105–110.
- DAC-2001-KolblKD #simulation
- Symbolic RTL Simulation (AK, JHK, RFD), pp. 47–52.
- DAC-2001-WangHLKZMD #abstraction #hybrid #refinement #simulation #verification
- Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines (DW, PHH, JL, JHK, YZ, HKTM, RFD), pp. 35–40.
- DAC-1992-KungDNG #algorithm #named
- BDDMAP: A Technology Mapper Based on a New Covering Algorithm (DSK, RFD, TAN, DJG), pp. 484–487.