Robert Beers
Intel
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Robert Beers.
formal methods in computer aided design | 2001
Robert Beers; Rajnish Ghughal; Mark D. Aagaard
The LTL model checker that we use provides sound decomposition mechanisms within a purely model checking environment.We have exploited these mechanisms to successfully verify a wide spectrum of large and complex circuits. This paper describes a variety of the decomposition techniques that we have used as part of a large industrial formal verification effort on the Intel Pentium® 4 (Willamette) processor.
Archive | 2005
Robert Beers; Herbert H. J. Hum; James R. Goodman
Archive | 2013
Robert J. Safranek; Robert G. Blankenship; Venkatraman Iyer; Jeff Willey; Robert Beers; Darren S. Jue; Arvind Kumar; Debendra Das Sharma; Jeffrey C. Swanson; Bahaa Fahim; Vedaraman Geetha; Aaron T. Spink; Fulvio Spagna; Rahul R. Shah; Sitaraman V. Iyer; William H. Nale; Abhishek Das; Simon P. Johnson; Yuvraj S. Dhillon; Yen-Cheng Liu; Raj K. Ramanujan; Robert A. Maddox; Herbert H. J. Hum; Ashish Gupta
Archive | 2008
Robert Beers; Ching Tsun Chou; Robert J. Safranek; James R. Vash
Archive | 2011
Herbert H. J. Hum; James R. Goodman; Robert Beers; Rajnish Ghughal
Archive | 2006
Phanindra K. Mannava; Robert Beers; Seungjoon Park; Brannon Baxton
Archive | 2006
Herbert H. J. Hum; Robert Beers
Archive | 2006
Robert Beers; Herbert H. J. Hum
Archive | 2005
Robert J. Safranek; Robert J. Greiner; David L. Hill; Buderya S. Acharya; Zohar Bogin; Derek T. Bachand; Robert Beers
Archive | 2013
Robert G. Blankenship; Bahaa Fahim; Robert Beers; Yen-Cheng Liu; Vedaraman Geetha; Herbert H. J. Hum; Jeff Willey
