Abstract: In the design verification method, the design verification device, and the pipeline simulator generation device for microprocessors, a pipeline simulator (4, S4, S12) and verification programs for a microprocessor as a target in design are automatically generated (7, S9, S10) based on a pipeline specification described in a description language readable and analyzable by a computer, and the pipeline operation of the microprocessor is verified (12, S15, S16) based on the results (S13) of the simulation (11) of the RTL description and the result (6, S14) of the pipeline simulation performed based on the verification programs and the pipeline simulator.

Abstract: When a first user on a network is to provide information to a second user, this invention allows the second user to visually output the information even if an information processor used by the second user does not have a function of reading electronic data as a source of the information. In this invention, when information formed by a PC (111) on a network (110) is to be output to the user of a PC (103) on the network (100), the PC (111) issues a print job to a printer (102) and notifies the PC (103) of the issue. Upon receiving this notification, the PC (103) gives execution designation of the job to the printer (102). The print job is then executed, and the printed product is handed over to the user of the PC (103).

Abstract: An encoder and a decoder each having an error correcting operation, and a data transmission apparatus using them for data transmission in a multilevel modulation system. In transmission data is converted into parallel data. One bit thereof is inputted to a convolutional encoder to output two bits. Two bit data and another signal of the parallel data not inputted to the convolutional encoder are respectively separated into real part and imaginary part to independently decide signal points for the parallel data. In reception an area is similarly decided independently for real and imaginary parts and metric is assigned for the data. Real and imaginary parts are combined with each other for Viterbi decoding. Result thereof is fed to a convolutional encoder similar in constitution to that on transmission side. Using convolutional encoding output and decided area, transmission data is decoded.

Abstract: A battery tester is formed at an AC constant-current generator for applying an AC current for measurement to a battery BT under test via a coupling capacitor, an internal resistance detecting device for detecting the internal resistance of the battery BT according to a voltage signal therefrom when the AC current is applied, a voltage detecting device for detecting the terminal voltage across the battery, and a deterioration judging unit for judging the deterioration of the battery from the internal resistance and terminal voltage detected by the internal resistance detecting device and the voltage detecting device. The internal resistance and terminal voltage of the battery are measured simultaneously, and deterioration of the battery is judged from the measurement data.

Abstract: A titanium oxide film consists of a mixture of titanium monoxide (TiO), titanium dioxide (TiO.sub.2), titanium trioxide (Ti.sub.2 O.sub.3), titanium pentoxide (Ti.sub.3 O.sub.5) and other titanium oxides which are expressed as Ti.sub.n O.sub.2n-1 is an integer from 4 to 10. Average content of oxygen in the film is from 51 to 59 atom percent.

Abstract: In a synchronizing circuit, such as a DPLL (Digital Phase-Locked Loop), adapted to be synchronized in accordance with clock signals of an external clock, a programmable timer in the circuit is forcedly reset in synchronism with the edge of an external clock signal pulse at the time of the clock signal's initial state in accordance with a clock detection circuit. Subsequently, baud timing of the external clock signals is detected by making use of internal clock signals produced by the circuit. Synchronism is thus established and maintained between the circuit and the external device.