摘要:
To create a function verification description, which is used for verifying a result of simulation performed on a finite state machine, irrespective of description languages of designing an FSM and creating the function verification description even by a person without knowledge of the language and the creation method of the function verification description, there is provided an apparatus including: an extracting section for extracting data concerning a performance that is a subject for the simulation from specification data of the FSM; a retaining section for retaining one or more description templates for function verification descriptions which are associated with one or more performances that are subjects for simulation; a selecting section for selecting a description template corresponding to the first performance; and a creating section for creating the function verifying description by substituting the data concerning the first performance into the particular description template selected.
摘要:
A mask forming method that can reduce manufacturing cost is disclosed. The method forms a mask on the surface of a member to be processed in order to form a desired pattern using liquid material for patterning. The method also includes applying resist to the entire surface of the member to be processed, drying the applied resist, patterning by removing the resist in a pattern-formation area using photolithography, and heating the resist.
摘要:
An object is to provide a mask formation method, which can curtail a manufacturing cost.A method of forming a film of predetermined pattern on the front surface of a member to-be-processed is so constructed as to carry out the step (S178) of improving the adherence of a pattern material solution to the member to-be-processed, the step (S180) of filling up a pattern forming recess provided in a mask on the surface of the member to-be-processed with a pattern material solution, the step (S186) of improving the film quality of the pattern film to-be-formed by processing the pattern material solution, the step (S188) of removing the pattern material solution having adhered on the mask, the step (S190) of drying the pattern material solution, and the step (S196) of subjecting the pattern film to annealing processing.
摘要:
A semiconductor device includes semiconductor substrate, a trench capacitor formed in the semiconductor substrate, a cell transistor formed so as to the trench capacitor and having a gate electrode formed on the semiconductor substrate and a source/drain region formed in a surface of the semiconductor substrate, an impurity diffusion region formed in the semiconductor substrate so as to be electrically connected between the trench capacitor and the source/drain region, and a Ge inclusion region formed between the impurity diffusion region and the trench capacitor.
摘要:
A device for simulating circuits is provided with an identifying system and a verifying system. The identifying system identifies a pair of wires in which two signals operate simultaneously within an appointed period and a pair of wires in which two signals do not operate almost simultaneously within the appointed period. The verifying system verifies actions of a circuit to be analyzed, under an assumption that the coupling capacitor between the pair of wires in which it is judged by the identifying system that two signals do not simultaneously operate within the appointed period is a ground capacitor.
摘要:
A trench capacitor comprises a semiconductor substrate, a trench provided in the semiconductor substrate, a first doped polysilicon filled in the trench at a lower end of the trench via a first dielectric film, and a second doped polysilicon filled in the trench at an upper end of the trench via a second dielectric film, the second doped polysilicon being contiguously disposed to the first doped polycrystal silicon, wherein the second dielectric film consists of an oxide film using radicals.
摘要:
A power supply circuit improves the power factor when the load is light, and incorporates a starting circuit for reacting quickly to the changes in the output from the power supply circuit and a short-circuit detecting means for detecting the short-circuit of the feedback signal. The apparatus includes: an error amplifier; a comparator that monitors the output from the error amplifier and generates an offset regulating current ISO; a multiplier; a sensing current comparator that compares the output signal from the multiplier and the AC line current and generates a reset signal; a timer that directly monitors the inputted zero-cross signal; and a comparator for short-circuit detection, that facilitates reducing the exterior parts and components.
摘要:
A paper feed apparatus having a pickup mechanism to pick up a plurality of paper sheets stacked on a chute one by one from the bottom and carrying the paper sheets to a predetermined standby position, comprises a gate 2 disposed facing a pickup roller 1 almost vertically with respect to the direction of paper feed to form a predetermined clearance, a paper-sheet separating pad 3 disposed in sliding contact with the pickup roller 1 to pick up the paper placed on the standby position one by one, and a pickup arm 4 that can be driven to be moved upward when setting paper sheets and downward when feeding paper sheets to push from above the paper sheets stacked on a chute 13 near a paper-sheet feed port. The pickup arm 4,when brought into free state as the planetary gear 5 disengages from the drive power transmission system, pushes paper sheets with a pushing force that increases with increases in the number of paper sheets stacked on the chute 13.
摘要:
The invention relates to cache apparatuses and a control method for managing cache memories in a multiprocessor system. A cache controller holds data which has to be invalidated for a cache coherence as data in a status where the validity is unknown, causes a cache hit in response to a reading request from a processor, provides the data as speculation data, and allows the processor to speculatively process the data. Therefore, since the data which has to be obtained from another cache or a main storage due to the invalidation is held in an Unknown status, a cache hit occurs. Thus, a data waiting time of the processor can be shortened.
摘要:
Disclosed is a disc player for obtaining a read signal from an optical disc having sectors including land and groove tracks and ID regions, preformatted at given angular spatial intervals, which demarcate the sectors and are segmented, in the track extending direction, into two regions, each segmented region including a plural number of recording regions and non-recording regions, which are alternately and radially arrayed while being radially shifted by approximately half a track pitch from the tracks of the sectors adjacent to the segmented regions, each recording region containing record position information recorded therein having predetermined time durations. The disc player comprises: optical read means for projecting a light beam onto the optical disc and receiving a light beam reflected from a recording surface of the optical disc; first and second signal generating means for generating first and second signals which are dependent on the record position information recorded in the recording regions of the first and second segmented regions by use of a signal output from the optical read means; and ID region detecting means for outputting a detecting signal indicating that the ID region is detected when the first and second signals are both present.