Abstract: Disclosed is a behavioral synthesis apparatus for generating a test bench where the same test vector can be used in both the behavioral simulation and the RTL simulation. The apparatus includes input application/output signal observation timing signal generation means that generates an input application timing signal, an output observation timing signal, and logic circuits for the input application timing signal and the output observation timing signal; and test bench generation means that generates a test bench that observes the signals, applies inputs, and observes outputs.

Abstract: Disclosed is a behavioral synthesis apparatus for generating a test bench where the same test vector can be used in both the behavioral simulation and the RTL simulation. The apparatus includes input application/output signal observation timing signal generation means that generates an input application timing signal, an output observation timing signal, and logic circuits for the input application timing signal and the output observation timing signal; and test bench generation means that generates a test bench that observes the signals, applies inputs, and observes outputs.

Abstract: Logic verification is performed based on correspondence information and compile information. The correspondence information specifies information on pairs of fragments of descriptions to be compared for equivalence in a behavioral level description written in a programming language and an RT level description obtained through behavioral synthesis and information on pairs of signals to be compared for each of the description pairs. The compile information includes mapping information between the behavioral level description and an object code. A logic cone extraction section extracts first logic cones from the object code through symbolic simulation by referencing the correspondence information and the compile information. The logic cone extraction section extracts second logic cones from the RT level description. A logic cone comparison section verifies equivalence between the first and second logic cones.

Abstract: Disclosed is a behavioral synthesis apparatus for generating a test bench where the same test vector can be used in both the behavioral simulation and the RTL simulation. The apparatus includes input application/output signal observation timing signal generation means that generates an input application timing signal, an output observation timing signal, and logic circuits for the input application timing signal and the output observation timing signal; and test bench generation means that generates a test bench that observes the signals, applies inputs, and observes outputs.

Abstract: Formation of wear powder caused by wear of a ramp which is attributable to mutual contact of a lift tab and the ramp is to be reduced in loading and unloading operations. In one embodiment, a spindle motor is turned on by application of power, then the temperature of a ramp is measured and it is determined whether the temperature of the ramp has reached a preset temperature (about 25° C.) or not. If the answer is negative, a heater is energized to heat the ramp for raising the temperature of the ramp. When it is detected that the temperature of the ramp has reached the preset temperature, the heating of the ramp is stopped and the execution of loading and unloading operations is permitted, then an ordinary processing is started.

Abstract: Formation of wear powder caused by wear of a ramp which is attributable to mutual contact of a lift tab and the ramp is to be reduced in loading and unloading operations. In one embodiment, a spindle motor is turned on by application of power, then the temperature of a ramp is measured and it is determined whether the temperature of the ramp has reached a preset temperature (about 25° C.) or not. If the answer is negative, a heater is energized to heat the ramp for raising the temperature of the ramp. When it is detected that the temperature of the ramp has reached the preset temperature, the heating of the ramp is stopped and the execution of loading and unloading operations is permitted, then an ordinary processing is started.

Abstract: For deriving an RTL description through several steps from a behavioral description, a behavioral synthesis device outputs an associated relation between intermediate level descriptions subsequent to the respective steps and intermediate level descriptions prior to the respective steps. A model extracting device extracts a model capable of expressing a control structure based on a finite state machine and an update of a signal from the behavioral description, each of the intermediate level descriptions, and the RTL description, as a model corresponding to those descriptions. A signal value function extracting device extracts signal value functions from the model. A function equivalence comparing device checks the equivalence between signal value functions prior and subsequent to the steps of the behavioral synthesis device.

Abstract: A magnetic disk drive has an external environment monitoring function. Data is stored on available disk media while the magnetic disk drive is in an unfavorable environment. Under favorable conditions, the data is then moved to a write-restricted area of the media, which was unavailable while the magnetic disk drive was in the unfavorable environment. The magnetic disk drive uses a temperature sensor/atmospheric pressure sensor as a monitoring device and exercises a function, for example, for reading a reference signal stored in a predetermined area of the medium at predefined intervals. When the external environment is favorable for the magnetic disk drive, the present invention can increase the information storage capacity determined appropriate under the current operating conditions.

Abstract: A magnetic disk drive has an external environment monitoring function. Data is stored on available disk media while the magnetic disk drive is in an unfavorable environment. Under favorable conditions, the data is then moved to a write-restricted area of the media, which was unavailable while the magnetic disk drive was in the unfavorable environment. The magnetic disk drive uses a temperature sensor/atmospheric pressure sensor as a monitoring device and exercises a function, for example, for reading a reference signal stored in a predetermined area of the medium at predefined intervals. When the external environment is favorable for the magnetic disk drive, the present invention can increase the information storage capacity determined appropriate under the current operating conditions.

Abstract: Logic verification is performed based on correspondence information and compile information. The correspondence information specifies information on pairs of fragments of descriptions to be compared for equivalence in a behavioral level description written in a programming language and an RT level description obtained through behavioral synthesis and information on pairs of signals to be compared for each of the description pairs. The compile information includes mapping information between the behavioral level description and an object code. A logic cone extraction section extracts first logic cones from the object code through symbolic simulation by referencing the correspondence information and the compile information. The logic cone extraction section extracts second logic cones from the RT level description. A logic cone comparison section verifies equivalence between the first and second logic cones.

Abstract: For deriving an RTL description through several steps from a behavioral description, a behavioral synthesis device outputs an associated relation between intermediate level descriptions subsequent to the respective steps and intermediate level descriptions prior to the respective steps. A model extracting device extracts a model capable of expressing a control structure based on a finite state machine and an update of a signal from the behavioral description, each of the intermediate level descriptions, and the RTL description, as a model corresponding to those descriptions. A signal value function extracting device extracts signal value functions from the model. A function equivalence comparing device checks the equivalence between signal value functions prior and subsequent to the steps of the behavioral synthesis device.

Abstract: A method and system which prevents starting-up problems in plural magnetic disk storage devices included in a disk array system during restart following halt of the magnetic disk storage devices after long term operation. The disk array system includes the plural magnetic disk storage devices, a microprocessor unit (MPU) which controls the magnetic disk storage devices, a control memory, a parity calculator, and cache memory. The control memory contains a operation time control table in which a tolerable continuous operation time Ti and a halt time Ts are stored. Each of the magnetic disk storage devices is intentionally stopped individually for the halt time Ts at time interval of the tolerable continuous operation time Ti.

Abstract: A method and system which prevents starting-up problems in plural magnetic disk storage devices included in a disk array system during restart following halt of the magnetic disk storage devices after long term operation. The disk array system includes the plural magnetic disk storage devices, a microprocessor unit (MPU) which controls the magnetic disk storage devices, a control memory, a parity calculator, and cache memory. The control memory contains a operation time control table in which a tolerable continuous operation time Ti and a halt time Ts are stored. Each of the magnetic disk storage devices is intentionally stopped individually for the halt time Ts at time interval of the tolerable continuous operation time Ti.

Abstract: Compressed image data for a plurality of sheets of original transmitted from another party is demodulated, expanded by a modem 1 and a facsimile control portion 2, and reduced at a reduction processing portion 11, and the image data after the reduction is transferred to a printing control portion 8. In a first embodiment, the reduced image data for one sheet of original is printed out by a printing portion on a sheet of recording paper from its one end in a main scanning direction. After printing of the image data for the one sheet is completed, the sheet of recording paper is rewound, and then the reduced image data for the second page is printed out laterally to the main scanning direction of the image data of the first page.

Abstract: A facsimile apparatus includes a memory wherein data are stored in a sequential manner. The data are input through a network. The facsimile apparatus transmits the image data in the memory to a destination facsimile apparatus through the network in response to a retrieval request signal from the destination facsimile apparatus. When the destination facsimile apparatus performs an operator interruption processing after the transmission, a transmitter again accepts a retrieval request signal from the destination facsimile and transmits image data from the memory.

Abstract: A transmission device using a telephone is provided. In a facsimile apparatus incorporating a telephone answering machine, a message or facsimile data is recorded on a magnetic tape, followed by index information concerning the recorded message or facsimile data. The index information includes the number of messages or facsimile data recorded on the magnetic tape and the record position of each data. The index information on magnetic tape is updated every time a new message or facsimile data is recorded on the tape. Even if a magnetic tape having data recorded is unloaded from the device and then loaded again, the facsimile apparatus can be restored to the state just before the magnetic tape was unloaded. Thus, head position detection and reproduction of the magnetic tape can be carried out promptly.

Abstract: A silicon carbide whisker production apparatus manufactured by placing a plurality of lidded reaction vessels in the longitudinal direction of an Acheson furnace at intervals, packing graphite grains in the gaps between the adjacent reaction vessels and around the reaction vessels along the longitudinal direction of the furnace starting with the furnace-side ends of terminal electrodes to form a surrounding heating zone, and packing a heat insulating packing around the surrounding heating zone.

Abstract: A magnetic tape recorder is disclosed which comprises a tape counter means for counting revolutions of a tape reel, a memory means for storing preselectable position information of a specific position on a tape, introduced via a keyboard means, and a decision logic means for determining if the output of the tape counter means and the output of the memory means agree. The operational state of the tape recorder is controlled in response to the output of the decision logic means so that record and play modes can be started or stopped with any preselectable position on the tape. Such capabilities are implemented with a digital processor semiconductor chip which normally includes a non-destructive memory program storage. In one preferred form, timepiece and/or timer functions are combined operatively with the tape counter means.