The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Oct. 04, 1994
Filed:
Sep. 23, 1991
Shinichi Honiden, Tokyo, JP;
Takeshi Kohno, Yokohama, JP;
Kabushiki Kaisha Toshiba, Kawasaki, JP;
Abstract
A program synthesis system comprises a function decomposition unit for decomposing a function according to a predetermined specification so as to obtain detailed functions of the specification, a similarity decision unit for retrieving intermediates similar to the detailed specification detailed by the function decomposition unit, a design process fusion unit for fusing a plurality of design processes, the design process fusion unit including a matching decision unit for deciding matching between design processes having high similarities with respect to the intermediate decided by the similarity decision unit, an object synthesis unit for synthesizing an object on the basis of a new design process synthesized by the design process fusion unit, a design process intermediate knowledge base for storing intermediates from which intermediates similar to the specification detailed by the function decomposition unit are retrieved, and a design process conversion on knowledge base for storing a conversion knowledge for detailing the specification, a conversion knowledge for the intermediate, and a knowledge in a minimum unit for performing processing.