Rule inference and localization during synthesis of logic circuit designs
CA 2016508 C · Owner: Digital Equipment Corporation · Inventors: Hooper, Donald F.; Fortmiller, Edward G.; Kundu, Snehamay
Overview
Its claims, description and drawings are in the Canadian Patents Database.
Open the CIPO recordAbstract From the Canadian patent
A logic method for accessing rules in a logic circuit synthesis system. Rules are associated with model instances representing circuit components and contained in a data base. Application of the rules results in the replacement of one or more of the model instances with other model instances or in alteration of values associated with the model instances or in the alteration of parameter values in the data base. Model instances are designated as VISIBLE or INVISIBLE. INVISIBLE model instances are ignored during logic circuit synthesis. That is, the rules associated with INVISIBLE model instances are not tested. VISIBLE model instances may be NEW or INACTIVE. All VISIBLE model instances are …
Read the whole patent
Listed from its CIPO record in Patent Yard's archive of Canadian patents past their term. Its claims, description and drawings are in the CIPO record and on Google Patents, and the Claude kit works from them.
Why it's free to use
- Filed May 10, 1990 and granted November 10, 1998. A Canadian patent filed from October 1, 1989 lasts 20 years from filing, so its term ended May 10, 2010.
- A certificate of supplementary protection adds at most two years for a drug, so even that would have ended by May 10, 2012.
- We check Canadian rights only. A patent in its family in another country could still be in force: check its family on Google Patents.
Timeline
Timeline From CIPO dates
Sources & verification
Official CIPO records
Everything on this page comes from the CIPO record linked above. Contains information licensed under the Open Government Licence – Canada.