Patent Assignment
Reel/Frame 015931/0585
Assignment of Assignor's Interest
Recorded: 2004-10-29
Pages: 3
Assignor
0IN DESIGN AUTOMATION, INC.
Executed: 2004-10-22
Assignee
MENTOR GRAPHICS CORPORATION
8005 SW BOECKMAN ROAD, WILSONVILLE, OREGON, 97070-7777
Covered Properties
(9)
Method for Automatically Searching for Functional Defects in a Description of a Circuit
Patent:
6,292,765 →
Application:
08/954,765 →
A Method for Automatically Generating Checkers for Finding Functional Defects in a Description of a Circuit
Patent:
6,175,946 →
Application:
08/955,329 →
Method for Automatically Generating Checkers for Finding Functional Defects in a Description of a Circuit
Patent:
6,609,229 →
Application:
09/635,598 →
Method for Automatically Searching for Functional Defects in a Description of a Circuit
Patent:
6,885,983 →
Application:
09/849,005 →
Measure of Analysis Performed in Property Checking
Patent:
6,848,088 →
Application:
10/174,379 →
Selection of Initial States for Formal Verification
Patent:
7,454,324 →
Application:
10/340,500 →
Reuse of learned information to simplify functional verification of a digital circuit
Application:
10/340,555 →
Publication:
US 2007/0299648
Method for Automatically Generating Checkers for Finding Functional Defects in a Description of Circuit
Metastability Injector for a Circuit Description
Patent:
7,243,322 →
Application:
10/859,055 →
Related Assignments
(6)
Other recorded transfers of the patents in this record — the chain of ownership.
Assignment of Assignor's Interest
Jun 8, 2004
From: LEVITT, JEREMY RUTLEDGE; GAUTHRON, CHRISTOPHE; HO, CHIAN-MIN RICHARD; YEUNG, PING FAI
To: OIN DESIGN AUTOMATION, INC.
Reel/Frame 015432/0280 →
Assignment of Assignor's Interest
Jun 8, 2004
From: LEVITT, JEREMY R.; GAUTHRON, CHRISTOPHE G.; BARRETT, CLARK W.; WIDDOES, JR., LAWRENCE CURTIS
To: OIN DESIGN AUTOMATION, INC.
Reel/Frame 015432/0294 →
Assignment of Assignor's Interest
Jun 8, 2004
From: SEAWRIGHT, JAMES ANDREW GARRARD; SATHIANATHAN, RAMESH; GAUTHRON, CHRISTOPHE G; LEVITT, JEREMY R.
To: OIN DESIGN AUTOMATION, INC.
Reel/Frame 015435/0159 →
Assignment of Assignor's Interest
Aug 30, 2004
From: LY, TAI AN; KWOK, KA KEI; GUPTA, VIJAYA VARDHAN; ANDERSEN, ROSS ANDREW
To: OIN DESIGN AUTOMATION, INC.
Reel/Frame 015762/0246 →
Assignment of Assignor's Interest
Apr 21, 2010
From: HO, CHIAN-MIN R.; MARDJUKI, ROBERT KRISTIANTO; DILL, DAVID LANSING; LIN, JING CHYUARN
To: 0IN DESIGN AUTOMATION, INC.
Reel/Frame 024263/0443 →
Merger and Change of Name
Jun 16, 2021
From: MENTOR GRAPHICS CORPORATION; SIEMENS INDUSTRY SOFTWARE INC.
To: SIEMENS INDUSTRY SOFTWARE INC.
Reel/Frame 057279/0707 →