Formal verification using microtransactions

Assignee

• Calypto Design Systems

Inventors

• Pankaj P. Chauhan (7 patents)
• Sameer Kapoor (4 patents)
• Saurabh Jain (2 patents)
• Kunal Bindal (2 patents)
• Bryan Darrell Bowyer (12 patents)
• Andres R. Takach (9 patents)
• Peter Pius Gutberlet (18 patents)
• Gagandeep Singh (2 patents)
• Maheshinder Goyal (2 patents)

View full patent text on Google Patents →