Abstract: A verification method for an application logic provided with one or more macro logics configured to perform a predetermined operation, a macro operation control unit configured to instruct the one or more macro logics to start the operation to cause the one or more macro logics to perform the operation, and an operation data storage area configured to store data. In the application logic, static verification by property description of a formal verification language is performed for each of the one or more macro logic, the macro operation control unit, and the operation data storage area, and dynamic verification by simulation is further performed for at least one of the one or more macro logics.

Abstract: A motor includes a rotating portion including a rotor magnet, and arranged to rotate about a central axis extending in a vertical direction; a bearing mechanism arranged to support the rotating portion such that the rotating portion is rotatable about the central axis; a stator portion arranged opposite to the rotor magnet; a housing arranged to accommodate the rotating portion, the bearing mechanism, and the stator portion therein; and a sealing member. The housing includes a base portion substantially in a shape of a plate and arranged to extend radially below the rotating portion. The base portion includes a first lower surface arranged to face downward, and a through hole arranged to pass through the base portion in the vertical direction and arranged to have a portion of the bearing mechanism arranged therein. The sealing member is arranged to cover a lower side of the through hole, and includes at least a metal layer.

Abstract: A motor includes a rotating portion including a rotor magnet, and arranged to rotate about a central axis extending in a vertical direction; a bearing mechanism arranged to support the rotating portion such that the rotating portion is rotatable about the central axis; a stator portion arranged opposite to the rotor magnet; a housing arranged to accommodate the rotating portion, the bearing mechanism, and the stator portion therein; and a sealing member. The housing includes a base portion substantially in a shape of a plate and arranged to extend radially below the rotating portion. The base portion includes a first lower surface arranged to face downward, and a through hole arranged to pass through the base portion in the vertical direction and arranged to have a portion of the bearing mechanism arranged therein. The sealing member is arranged to cover a lower side of the through hole, and includes at least a metal layer.

Abstract: The present invention includes a drawing data generating unit, a variation pattern that varies at regular intervals to be displayed, a display unit that displays drawing data, and a comparator that compares whether input signals are coincident, and the drawing data generating unit includes a receiver that receives data from a higher-level device, a drawing control unit that converts the data received from the higher-level device to drawing data, and a drawing memory that stores the drawing data. The drawing data generating unit and the variation pattern are redundantly configured, and the variation pattern is input to the drawing data generating unit. One output signal of the drawing data generating unit regarding drawing data including the variation pattern is transmitted to the display unit, a plurality of output signals from the drawing data generating unit are input to the comparator, and the comparator outputs a comparison result as a detection signal outside.

Abstract: A motor includes a rotating portion including a rotor magnet, and arranged to rotate about a central axis extending in a vertical direction; a bearing mechanism arranged to support the rotating portion such that the rotating portion is rotatable about the central axis; a stator portion arranged opposite to the rotor magnet; a housing arranged to accommodate the rotating portion, the bearing mechanism, and the stator portion therein; and a sealing member. The housing includes a base portion substantially in a shape of a plate and arranged to extend radially below the rotating portion. The base portion includes a first lower surface arranged to face downward, and a through hole arranged to pass through the base portion in the vertical direction and arranged to have a portion of the bearing mechanism arranged therein. The sealing member is arranged to cover a lower side of the through hole, and includes at least a metal layer.

Abstract: A case of a disk drive apparatus includes a housing in which a disk is accommodated, and a top cover arranged to close an opening of the housing. The top cover includes a top cover body and a flow control member. The top cover body is a plate-shaped member arranged to extend perpendicularly to a central axis. The flow control member is fixed to a lower surface of the top cover body. The flow control member includes a lower surface arranged axially opposite to at least a portion of an upper surface of the disk.

Abstract: A motor may include a bearing mechanism including a shaft arranged along a center axis, a sealing member has one-end closed cylindrical shape and a recess receiving a lower portion of the bearing mechanism, a stationary portion including a base defining a part of the housing, and a rotary portion rotating relative to the stationary portion about the center axis. The base has a through hole defined therein so as to have a center aligned with the center axis and pass through the base in an axial direction. The sealing member is fixed in a fixing region defined between an outer circumferential portion of the sealing member and an inner circumferential portion that defines the through hole in the base. The fixing region includes a sealing region where a clearance between the sealing member and the base is closed.

Abstract: A case of a disk drive apparatus includes a housing in which a disk is accommodated, and a top cover arranged to close an opening of the housing. The top cover includes a top cover body and a flow control member. The top cover body is a plate-shaped member arranged to extend perpendicularly to a central axis. The flow control member is fixed to a lower surface of the top cover body. The flow control member includes a lower surface arranged axially opposite to at least a portion of an upper surface of the disk.

Abstract: A motor may include a bearing mechanism including a shaft arranged along a center axis, a sealing member has one-end closed cylindrical shape and a recess receiving a lower portion of the bearing mechanism, a stationary portion including a base defining a part of the housing, and a rotary portion rotating relative to the stationary portion about the center axis. The base has a through hole defined therein so as to have a center aligned with the center axis and pass through the base in an axial direction. The sealing member is fixed in a fixing region defined between an outer circumferential portion of the sealing member and an inner circumferential portion that defines the through hole in the base. The fixing region includes a sealing region where a clearance between the sealing member and the base is closed.

Abstract: A base member includes a base through-hole which interconnects an upper opening and a lower opening. An insulating sheet portion is disposed at a lower surface side of the base member. The insulating sheet portion covers at least a portion of the lower opening. Lead wires extending from coils extend to the lower surface side of the base member through the base through-hole. The lead wires extend radially outward along a lower surface of the insulating sheet portion while making contact with the insulating sheet portion. The lead wires are soldered to land portions of a circuit substrate. The lower opening is covered with a sealing material. The circuit substrate includes a first region. The insulating sheet portion is defined by a smaller number of layers than the first region.

Abstract: A motor includes a rotating portion including a rotor magnet, and arranged to rotate about a central axis extending in a vertical direction; a bearing mechanism arranged to support the rotating portion such that the rotating portion is rotatable about the central axis; a stator portion arranged opposite to the rotor magnet; a housing arranged to accommodate the rotating portion, the bearing mechanism, and the stator portion therein; and a sealing member. The housing includes a base portion substantially in a shape of a plate and arranged to extend radially below the rotating portion. The base portion includes a first lower surface arranged to face downward, and a through hole arranged to pass through the base portion in the vertical direction and arranged to have a portion of the bearing mechanism arranged therein. The sealing member is arranged to cover a lower side of the through hole, and includes at least a metal layer.

Abstract: A spindle motor is configured to rotate a disk in a case defined by a base plate and a top cover arranged to cover an upper side of the base plate. The spindle motor includes a fluid dynamic bearing including a lubricant oil. A rotating portion body of the spindle motor includes an air hole. An upper opening of the air hole is in communication with an annular space between the top cover and the rotating portion body. A lower opening of the air hole is in communication with a gap between a stator and a magnet. Accordingly, even if a gas including the lubricant oil vaporized through a liquid surface of the lubricant oil leaks into the annular space, at least a portion of the gas including the lubricant oil flows into the air hole.

Abstract: A disk drive apparatus includes a rotor hub including an outer surface with a hub screw groove and a hub information mark indicative of a start position of the hub screw groove. A method of manufacturing the disk drive apparatus includes the steps of preparing a spindle motor including the rotor hub, preparing a clamper including a clamper screw groove, and fitting a recording disk to the spindle motor. The method further includes the steps of detecting a position of the hub information mark and, based on the detected position of the hub information mark, positioning each of the clamper and the spindle motor in a circumferential direction, and screwing the clamper to the spindle motor.

Abstract: A spindle motor includes a recording disk and a clamper. A cylindrical portion includes a first screw portion positioned in an outer circumferential portion of the cylindrical portion. The clamper includes an annular raised portion configured to be fitted in a through hole of the recording disk. An inner circumferential portion of the clamper includes a second screw portion configured to be screwed to the first screw portion. At least a portion of the second screw portion is positioned in an inner circumferential portion of the annular raised portion. Each of the first screw portion and the second screw portion includes at least one of a screw groove and a screw thread. An axial position of at least a portion of the second screw portion overlaps with an axial position of the recording disk.

Abstract: A base member includes a base through-hole which interconnects an upper opening and a lower opening. An insulating sheet portion is disposed at a lower surface side of the base member. The insulating sheet portion covers at least a portion of the lower opening. Lead wires extending from coils extend to the lower surface side of the base member through the base through-hole. The lead wires extend radially outward along a lower surface of the insulating sheet portion while making contact with the insulating sheet portion. The lead wires are soldered to land portions of a circuit substrate. The lower opening is covered with a sealing material. The circuit substrate includes a first region. The insulating sheet portion is defined by a smaller number of layers than the first region.

Abstract: A spindle motor is configured to rotate a disk in a case defined by a base plate and a top cover arranged to cover an upper side of the base plate. The spindle motor includes a fluid dynamic bearing including a lubricant oil. A rotating portion body of the spindle motor includes an air hole. An upper opening of the air hole is in communication with an annular space between the top cover and the rotating portion body. A lower opening of the air hole is in communication with a gap between a stator and a magnet. Accordingly, even if a gas including the lubricant oil vaporized through a liquid surface of the lubricant oil leaks into the annular space, at least a portion of the gas including the lubricant oil flows into the air hole.

Abstract: A spindle motor includes a recording disk and a clamper. A cylindrical portion includes a first screw portion positioned in an outer circumferential portion of the cylindrical portion. The clamper includes an annular raised portion configured to be fitted in a through hole of the recording disk. An inner circumferential portion of the clamper includes a second screw portion configured to be screwed to the first screw portion. At least a portion of the second screw portion is positioned in an inner circumferential portion of the annular raised portion. Each of the first screw portion and the second screw portion includes at least one of a screw groove and a screw thread. An axial position of at least a portion of the second screw portion overlaps with an axial position of the recording disk.

Abstract: A first capillary seal portion is positioned on a radially outer side of a bearing portion. A second capillary seal portion is positioned higher in an axial direction than the bearing portion and further on radially inner side than the first capillary seal portion. A seal cap covers a portion of an opening of the first capillary seal portion and a portion of an opening of the second capillary seal portion. The maximum width of a first gap between the outer circumferential surface of the shaft and an inner circumferential surface of the seal cap in a radial direction and the maximum width of a second gap between an upper surface of the sleeve portion and a lower surface of the seal cap in an axial direction is smaller than the maximum width of the opening of the first capillary seal portion.

Abstract: A spindle motor includes a stationary portion and a rotating portion. The stationary portion includes a base member, a stator core, coils, and a circuit board. The base member includes a middle region, a peripheral region, jetty portions, a recessed portion, and at least one through hole. The jetty portions are positioned at least axially below the peripheral region, and include a pair of extension portions. The recessed portion is arranged inside the jetty portions, and a portion of the circuit board is arranged in the recessed portion. The at least one through hole is arranged to pass through the middle region in an axial direction. The recessed portion is covered with a sealant.

Abstract: A first capillary seal portion is positioned on a radially outer side of a bearing portion. A second capillary seal portion is positioned higher in an axial direction than the bearing portion and further on radially inner side than the first capillary seal portion. A seal cap covers a portion of an opening of the first capillary seal portion and a portion of an opening of the second capillary seal portion. The maximum width of a first gap between the outer circumferential surface of the shaft and an inner circumferential surface of the seal cap in a radial direction and the maximum width of a second gap between an upper surface of the sleeve portion and a lower surface of the seal cap in an axial direction is smaller than the maximum width of the opening of the first capillary seal portion.