Harry Foster

Publications (1)0 Total impact

• Source

  Available from: york.ac.uk

  Conference Proceeding: Is methodology the highway out of verification hell?

  Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso
  Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005; 01/2005