摘要:
The time and trouble of a mismatch cause analysis after logical equivalence verification can be reduced, and design and verification TAT can be shortened. A logical equivalence verifying device performs logical equivalence verification between two circuits, and displays the result of the logical equivalence verification. A preprocessing section 7 performs structural matching so as to determine whether there are portions corresponding in circuit structure to each other in corresponding logic cones of the two circuits. An internal DB 5 records the results of the structural matching as an identifier for each element. A subcone extracting section 8 extracts, as a subcone, a collection of elements, which are mutually to one another and have the same identifier, from each logic cone. A verifying section 9 performs logical equivalence verification between the two circuits for each of the extracted subcones. A display control section 10 displays only those subcones for which the logical equivalence verification has resulted in mismatch.
摘要:
The time and trouble of a mismatch cause analysis after logical equivalence verification can be reduced, and design and verification TAT can be shortened. A logical equivalence verifying device performs logical equivalence verification between two circuits, and displays the result of the logical equivalence verification. A preprocessing section 7 performs structural matching so as to determine whether there are portions corresponding in circuit structure to each other in corresponding logic cones of the two circuits. An internal DB 5 records the results of the structural matching as an identifier for each element. A subcone extracting section 8 extracts, as a subcone, a collection of elements, which are mutually to one another and have the same identifier, from each logic cone. A verifying section 9 performs logical equivalence verification between the two circuits for each of the extracted subcones. A display control section 10 displays only those subcones for which the logical equivalence verification has resulted in mismatch.
摘要:
The time and trouble of a mismatch cause analysis after logical equivalence verification can be reduced, and design and verification TAT can be shortened. A logical equivalence verifying device performs logical equivalence verification between two circuits, and displays the result of the logical equivalence verification. A preprocessing section 7 performs structural matching so as to determine whether there are portions corresponding in circuit structure to each other in corresponding logic cones of the two circuits. An internal DB 5 records the results of the structural matching as an identifier for each element. A subcone extracting section 8 extracts, as a subcone, a collection of elements, which are mutually to one another and have the same identifier, from each logic cone. A verifying section 9 performs logical equivalence verification between the two circuits for each of the extracted subcones. A display control section 10 displays only those subcones for which the logical equivalence verification has resulted in mismatch.
摘要:
A design data merging apparatus includes a merging determining unit that determines, for a plurality of design data of which each has product name information and has a same identifier for uniquely identifying a product, whether the product name information given to the plurality of design data are the same, and a merged data creating unit that merges the plurality of design data when it is determined by the merging determining unit that the product name information given to the plurality of design data are the same, and creates merged data obtained by merging a plurality of design data.
摘要:
A design data merging apparatus includes a merging determining unit that determines, for a plurality of design data of which each has product name information and has a same identifier for uniquely identifying a product, whether the product name information given to the plurality of design data are the same, and a merged data creating unit that merges the plurality of design data when it is determined by the merging determining unit that the product name information given to the plurality of design data are the same, and creates merged data obtained by merging a plurality of design data.
摘要:
The configuration data obtaining unit obtains a network configuration data, and the actual-apparatus collection result data obtaining unit obtains an actual-apparatus collection result data. Then, the comparing unit compares a network address in the network configuration data corresponding to a network apparatus with a network address in the actual-apparatus collection result data corresponding to the network apparatus, and determines whether the network address is normally set to the network apparatus based on the comparison result.
摘要:
A device includes, a search controlling information storing unit that stores, for each searching purpose, the search controlling information indicating whether or not the search is to be proceeded for the kinds of parts between the interfaces in the parts is defined and registered, a set information collecting unit that decides the interface of the parts to be searched, according to the search controlling information for each search object, from both the design information of the system constitution diagram and the registered information of the library database of the parts and the interfaces, and traces the connection relations of the interfaces thereby to collect the set information of the searched parts and the interfaces from the library database of the design information of the system constitution diagram, the parts and so on.
摘要:
A thermoplastic elastomer molded article having a surface treated with a silicone emulsion and/or aqueous solution of silicone containing water-soluble silicone with a silicone content of 1 to 30 wt % is provided. As the thermoplastic elastomer, a composition comprising 20 to 100 wt % of 1,2-polybutadiene having a 1,2-bond content of 70% or more and a degree of crystallinity of 5 to 50% and 0 to 80 wt % of other thermoplastic elastomers, provided that the total amount of the 1,2-polybutadiene and the other thermoplactic elastomers is 100 wt %, can be given. The molded article of the present invention can be applied to various types of tubes, sheets, and hoses as well as a tube for medical use since the surface of the article has improved sliding properties and sliding wear resistance, without impairing transparency, flexibility, lightweightness, and mechanical strength.
摘要:
A rotary connector, which is generally used for the steering device of an automobile, for establishing electrical connections via a flexible flat cable between an electric circuit fixed to the steering column and an electric circuit attached to the steering wheel. The rotary connector of the present invention has guiding means for the flat cable for smooth winding. Guide piece 13 is formed at recess 12C on inner cylinder 12B, with one end formed in one piece with the bottom surface of lid 12A of inner case 12. A proximity to the inside end of flat cable 5 is inserted into gap 14 between the inner wall of guide piece 13 and the periphery of recess 12C disposed on inner cylinder 12B of inner case 12. Flat cable 5 is then guided out from the edge surface of edge portion 13A formed so as to tilt the tip of guide piece 13 in the periphery direction. It is thus possible to provide an easy to assemble and economical rotary connector with the number of parts minimized.
摘要:
A turning direction indicator device includes an actuator that rotates by an operation of an operating lever so as to be positioned at neutral and operational positions, a cover that has a lower surface having a guide groove therein extending in a rearward direction toward the cancel cam, a cam body that has an upper surface sliding with respect to the lower surface of the cover, an urging spring that urges the cam body in the rearward direction, a release element that rotates together with the actuator, and a grease provided between the upper surface of the cam body and the lower surface of the cover. The cam body includes ridges projecting from the upper surface of the cam body. The turning direction indicator device suppresses a hitting noise produced by the cam body and the release element with such a simple structure, and operates reliably.