摘要:
A logic verification device, a logic verification method and a logic verification computer program that can reduce the number of steps involved in designing a logic circuit particularly when the designed logic circuit is subjected to logic verification and modification at the spot where an error is detected. The logic verification device comprises a data converter section adapted to convert real circuit data to be processed for designing a logic circuit into data for verification to be processed for logic verification and vice versa, a verifier section adapted to operate for logic verification of said data for verification and a temporary modifier section adapted to acquire the result of verification of said verifier section and the modification candidate data corresponding to the result of verification of said verifier section and pre-selected as candidate data for modification of said data for verification and modify said data for verification on the basis of said acquired result of verification and said acquired modification candidate data.
摘要:
A logic verification device, a logic verification method and a logic verification computer program that can reduce the number of steps involved in designing a logic circuit particularly when the designed logic circuit is subjected to logic verification and modification at the spot where an error is detected. The logic verification device comprises a data converter section adapted to convert real circuit data to be processed for designing a logic circuit into data for verification to be processed for logic verification and vice versa, a verifier section adapted to operate for logic verification of said data for verification and a temporary modifier section adapted to acquire the result of verification of said verifier section and the modification candidate data corresponding to the result of verification of said verifier section and pre-selected as candidate data for modification of said data for verification and modify said data for verification on the basis of said acquired result of verification and said acquired modification candidate data.
摘要:
An integrated circuit design apparatus includes a block placement processing unit which performs processing of creation of a lower-rank mounting block in a higher-rank mounting block, and performs processing of creation of virtual placement regions in each of the lower-rank mounting block and the higher-rank mounting block. A functional block assignment processing unit performs processing of assignment of functional blocks to each of the virtual placement regions provided by the block placement processing unit. An evaluation processing unit provides a display of a condition of the functional blocks assigned to each of the virtual placement regions of both the lower-rank mounting block and the higher-rank mounting block, in order to evaluate the condition of the assigned functional blocks.
摘要:
The invention provides a method for preparing a soft magnetic material which meets demands for low iron loss, high density, high strength and high productivity. The method comprises a surface oxidation step of forming oxide films on the surfaces of a soft magnetic powder, a step of preparing a molding compound of the soft magnetic powder by mixing a soft magnetic powder and a binder with a predetermined blending ratio, a press molding step of press-molding the molding compound of the soft magnetic powder into a predetermined shape, and a sintering step of sintering the press-molded soft magnetic powder to produce a soft magnetic material, wherein a millimeter wave sintering apparatus or a discharge plasma sintering apparatus is used as a heating means in the surface oxidation step or in the sintering step. Thereby, energy of millimeter waves or discharge plasma acts locally on oxidized surface portions having a large electric resistance of the soft magnetic powder, the surfaces of the soft magnetic powder are locally heated at a temperature near the melting point, and oxidation of the surfaces of the soft magnetic powder (formation of an oxide film) and sintering (diffusional joining between oxide films) are promoted.
摘要:
A device for dispensing a liquid comprising a tubular fitting member fitted to a mouth of a vessel storing the liquid, a dispensing pipe mounted to the fitting member, a bomb attachment communicating with the fitting member through a communication passage and holding therein a bomb filled with the liquid, a bomb unstoppering needle fitted with a terminal sealing member therearound and mounted within the bomb attachment so as to be intruded into and receded out of a sealing plate of the bomb held within the bomb attachment, a supporting member for linearly movably supporting the unstoppering needle within the bomb attachment, and a device mounted rotatably in the bomb attachment and adapted for shifting the bomb attachment needle, is disclosed. The acute foremost part of the needle projecting beyond the sealing member pierces through the bomb sealing plate for forming a discharge orifice in the sealing plate for discharging the pressurized fluid from the bomb and thereby dispensing the liquid contained in the vessel. The dispensing device may also be provided with a valving member adapted to open or close a pressurizing fluid vent in timing with the operation of the needle shifting device in such a manner that the pressurizing gas in the vessel is discharged at the same time as the bomb is closed by the needle.