tag:blogger.com,1999:blog-12511368.post8281566806278570669..comments2024-01-13T14:13:13.679-08:00Comments on John's Semi-Blog: Weirdest EDA Acquisition Ever?Johnhttp://www.blogger.com/profile/08635360760744356704noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-12511368.post-64307322100316005672008-05-24T17:31:00.000-07:002008-05-24T17:31:00.000-07:00The Prover folks have been around a while, it's a ...The Prover folks have been around a while, it's a well established formal verification toolkit that has found a success in a particular vertical market. I spoke with them in 2004 or so at DVCon or DAC, they were serious engineers. Synopsys probably sees some more general purpose uses for the technology.Sean Murphyhttps://www.blogger.com/profile/00491284627550622216noreply@blogger.com