Word level model checking---avoiding the Pentium FDIV error

Abstract

Article Free Access Share on Word level model checking—avoiding the Pentium FDIV error Authors: E. M. Clarke School of Computer Science, Carnegie Mellon University, Pittsburgh, PA School of Computer Science, Carnegie Mellon University, Pittsburgh, PAView Profile , M. Khaira Intel Development Labs., Intel Corporation, 5200 NE Elam Young Pkwy, Hillsboro, OR Intel Development Labs., Intel Corporation, 5200 NE Elam Young Pkwy, Hillsboro, ORView Profile , X. Zhao School of Computer Science, Carnegie Mellon University, Pittsburgh, PA and Intel Development Labs., Intel Corporation, 5200 NE Elam Young Pkwy, Hillsboro, OR School of Computer Science, Carnegie Mellon University, Pittsburgh, PA and Intel Development Labs., Intel Corporation, 5200 NE Elam Young Pkwy, Hillsboro, ORView Profile Authors Info & Claims DAC '96: Proceedings of the 33rd annual Design Automation ConferenceJune 1996 Pages 645–648https://doi.org/10.1145/240518.240640Published:01 June 1996Publication History 20citation393DownloadsMetricsTotal Citations20Total Downloads393Last 12 Months52Last 6 weeks7 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF