SAN FRANCISCO Harry D. Foster, chairman of Accellera's formal verification committee and chairman of the IEEE-1850 PSL working group, has joined Mentor Graphics Corp.'s Design Verification and Test division as principal engineer, Mentor said Tuesday (Jan. 31).
According to Mentor (Wilsonville, Ore.), Foster is a pioneer of assertion-based verification methods and an industry authority and sought-after expert on formal verification. Foster is also the original developer of the Open Verification Library (OVL) for assertions and recently authored Applied Formal Verification and co-authored a pair of industry books. Foster was also an early developer of early formal equivalence checkers at Convex Computer Corp. and later Hewlett-Packard in the 1990s.
Mentor said Foster would lead the development of functional verification methods and tools within the company's 0-In Verification business unit and work with the ModelSim/Questa products verification team on methodology and product integration.
"We are very excited and proud to have Harry Foster join Mentor's team of distinguished verification experts," said Robert Hum, vice president and general manager of Mentor's Design Verification and Test division, in a statement. "His expertise in advanced verification methodologies reinforces Mentor's number one position in functional verification, and his appointment supports our strategy of being the clear leader in functional design verification."
In addition to Convex and HP, Foster's career history also includes stints with Texas Instruments, Verplex Systems Inc. (which was acquired by Cadence Design Systems Inc. in 2003) and Jasper Design Automation. Foster holds a B.S. in electrical engineering from the University of Maryland and an M.S. in computer science from the University of Texas.
Foster joins Mentor's team of verification technologists, which includes Curtis Widdoes, co-founder of 0-In Design Automation (acquired by Mentor in 2004), Randy Misustin and Doug Warmke, development leaders of Mentor's ModelSim simulator, and Ping Yeung and Tom Fitzpatrick.