Introducing new verification methods into a company's design flow: an industrial user's point of view.

Robert Lissel Joachim Gerlach Introducing new verification methods into a company's design flow: an industrial user's point of view. 689-694 2007 conf/date/2007 DATE http://doi.acm.org/10.1145/1266366.1266514 db/conf/date/date2007.html#LisselGG07