Granted Patent
Utility
US 5,999,717 · App. 09/001,751
Method for performing model checking in integrated circuit design
Inventors:
Matthew Kaufmann, Andrew K. Martin, Carl Preston Pixley
Patented Case
View Patent ↗
Granted: Dec 7, 1999
Filed: Dec 31, 1997
Inventors
Matthew Kaufmann
Andrew K. Martin
Carl Preston Pixley
Assignee (at issue)
Motorola, Inc.
This patent predates the USPTO's electronic file wrapper — prosecution documents from this era exist only in the Patent Office's paper records. A certified copy of the file history can be ordered from the USPTO's paper archives.