Patent Assignment
Reel/Frame 014693/0561
Assignment of Assignor's Interest
Recorded: 2003-11-07
Pages: 3
Assignor
JAIN, JAWAHAR
Executed: 2003-11-05
Assignee
FUJITSU LIMITED
1-1, KAMIKODANAKA 4-CHOME, NAKAHARA-KU, KAWASAKI-SHI, KANAGAWA 211-8588, JAPAN
Covered Property
(1)
Reachability-Based Verification of a Circuit Using One or More Multiply Rooted Binary Decision Diagrams