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

Robert Lissel, Joachim Gerlach

Browse the full DATE paper archive.