August 25 – 29 , 2002, Dagstuhl Seminar 02352

Formal Circuit Equivalence Verification

Participants

  • Armin Biere (Universität Linz, AT)
  • Per Bjesse (Prover Technology – Portland, US)
  • Kuang-Chien Chen (Verplex Systems Corp. – Milpitas, US)
  • Elena Dubrova (KTH Royal Institute of Technology, SE)
  • Hans Eveking (TU Darmstadt, DE)
  • Enrico Giunchiglia (University of Genova, IT)
  • Ziyad Hanna (Intel Israel – Haifa, IL)
  • Geert Janssen (IBM TJ Watson Research Center, US)
  • Roland Jie-Hong Jiang (University of California – Berkeley, US)
  • Andreas Kühlmann (Cadence Labs – Berkeley, US)
  • Wolfgang Kunz (TU Kaiserslautern, DE)
  • Jörg Lohse (Infineon Technologies Corp. – San Jose, US)
  • Joao Marques-Silva (INESC-ID – Lisboa, PT)
  • Yusuke Matsunaga (Kyushu University – Fukuoka, JP)
  • Maher Mneimneh (University of Michigan – Ann Arbor, US)
  • In-Ho Moon (Synopsys – Hillsboro, US)
  • John Moondanos (University of California – Berkeley, US)
  • Prakash Mohan Peranandam (Universität Tübingen, DE)
  • Karem A. Sakallah (University of Michigan – Ann Arbor, US)
  • Christian Stangier (Universität Trier, DE)