摘要:
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.
摘要:
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.
摘要:
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.
摘要:
A computation device includes a data path element (300) including a function processing unit (4000) that executes a computation specified in a function using input data included in an event (1000) as an argument; and a control path element (2000) that detects the event (1000) by use of a return value (ret) of the function. The function processing unit (4000) includes a data calculation unit (4001) that executes a computation and outputs a first result (d0); and a control comparison unit (4002) that outputs, to the control path element (2000), a result of comparison between the input data and data for specifying the event (1000), as the return value (ret).
摘要:
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.
摘要:
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.
摘要:
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.
摘要:
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.
摘要:
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.
摘要:
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.