Log in
Enquire now

List of Calypto Design Systems patents

List of Calypto Design Systems patents
List of Sakura Color Products Corporation patents
List of Wipro (company) patents
List of FLSmidth patents
List of companies in VentureFriends's investment portfolio
List of awards received by Jennifer Hudson
Patents where
Current Assignee
Name
is
‌
Calypto Design Systems
Name
Description
Patent Applicant
Current Assignee
Inventor
Patent Jurisdiction
Patent Number
Date of Patent
‌
US Patent 7287235 Method of simplifying a circuit for equivalence checking

Patent 7287235 was granted and assigned to Calypto Design Systems on October, 2007 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
7287235
October 23, 2007
‌
US Patent 9201994 Flexible power query interfaces and infrastructures

Patent 9201994 was granted and assigned to Calypto Design Systems on December, 2015 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
9201994
December 1, 2015
‌
US Patent 7284218 Method and system for inplace symbolic simulation over multiple cycles of a multi-clock domain design

Patent 7284218 was granted and assigned to Calypto Design Systems on October, 2007 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
7284218
October 16, 2007
‌
US Patent 7350168 System, method and computer program product for equivalence checking between designs with sequential differences

Patent 7350168 was granted and assigned to Calypto Design Systems on March, 2008 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
7350168
March 25, 2008
‌
US Patent 7333032 System, method and computer program product for word-level computations and storage

Patent 7333032 was granted and assigned to Calypto Design Systems on February, 2008 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
7333032
February 19, 2008
‌
US Patent 7607115 System, method and computer program product for timing-independent sequential equivalence verification

Patent 7607115 was granted and assigned to Calypto Design Systems on October, 2009 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
7607115
October 20, 2009
‌
US Patent 7673257 System, method and computer program product for word-level operator-to-cell mapping

Patent 7673257 was granted and assigned to Calypto Design Systems on March, 2010 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
7673257
March 2, 2010
‌
US Patent 7761827 Integrated circuit design system, method, and computer program product that takes into account observability based clock gating conditions

Patent 7761827 was granted and assigned to Calypto Design Systems on July, 2010 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
7761827
July 20, 2010
‌
US Patent 8667434 System, method, and computer program product for altering a hardware description based on an instruction file

Patent 8667434 was granted and assigned to Calypto Design Systems on March, 2014 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
8667434
March 4, 2014
‌
US Patent 8219949 Nonsequential hardware design synthesis verification

Patent 8219949 was granted and assigned to Calypto Design Systems on July, 2012 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
8219949
July 10, 2012
‌
US Patent 8205175 Structured algorithmic programming language approach to system design

Patent 8205175 was granted and assigned to Calypto Design Systems on June, 2012 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
8205175
June 19, 2012
‌
US Patent 8117571 System, method, and computer program product for determining equivalence of netlists utilizing abstractions and transformations

Patent 8117571 was granted and assigned to Calypto Design Systems on February, 2012 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
8117571
February 14, 2012
‌
US Patent 8037443 System, method, and computer program product for optimizing an altered hardware design utilizing power reports

Patent 8037443 was granted and assigned to Calypto Design Systems on October, 2011 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
8037443
October 11, 2011
‌
US Patent 9817929 Formal verification using microtransactions

Patent 9817929 was granted and assigned to Calypto Design Systems on November, 2017 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
9817929
November 14, 2017
‌
US Patent 7539956 System and computer program product for simultaneous cell identification/technology mapping

Patent 7539956 was granted and assigned to Calypto Design Systems on May, 2009 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
7539956
May 26, 2009
‌
US Patent 7966593 Integrated circuit design system, method, and computer program product that takes into account the stability of various design signals

Patent 7966593 was granted and assigned to Calypto Design Systems on June, 2011 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
7966593
June 21, 2011
‌
US Patent 8122401 System, method, and computer program product for determining equivalence of netlists utilizing at least one transformation

Patent 8122401 was granted and assigned to Calypto Design Systems on February, 2012 by the United States Patent and Trademark Office.

‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
8122401
February 21, 2012
‌
US Patent 8621413 System, method, and computer program product for reducing a deactivation function utilizing an optimal reduction

‌
Calypto Design Systems
United States Patent and Trademark Office
United States Patent and Trademark Office
8621413
December 31, 2013
18 results
0 selected
18 results
0 selected
Golden logo

Company

  • Home
  • Press & Media
  • Blog
  • Careers
  • WE'RE HIRING

Products

  • Knowledge Graph
  • Query Tool
  • Data Requests
  • Knowledge Storage
  • API
  • Pricing
  • Enterprise
  • ChatGPT Plugin

Legal

  • Terms of Service
  • Enterprise Terms of Service
  • Privacy Policy

Help

  • Help center
  • API Documentation
  • Contact Us