Abstract: An electrically driven type low-pressure fuel pump whose flow rate can be set draws fuel from a fuel tank and discharges it at a prescribed pressure commonly to a low-pressure fuel supply system including intake manifold injectors and a low-pressure delivery pipe and to a high-pressure fuel supply system including in-cylinder injectors, a high-pressure delivery pipe and a high-pressure fuel pump. The discharge flow rate of the low-pressure fuel pump is set based on required supply quantities to the low-pressure fuel supply system and to the high-pressure fuel supply system obtained according to the engine operation conditions. The discharge quantity of the fuel pump in the internal combustion engine can be set as appropriate, and thus, deterioration in fuel efficiency due to excessive flow rate setting and operation failure due to insufficient fuel supply can be prevented, whereby reliability is improved.

Abstract: An electrically driven type low-pressure fuel pump whose flow rate can be set draws fuel from a fuel tank and discharges it at a prescribed pressure commonly to a low-pressure fuel supply system including intake manifold injectors and a low-pressure delivery pipe and to a high-pressure fuel supply system including in-cylinder injectors, a high-pressure delivery pipe and a high-pressure fuel pump. The discharge flow rate of the low-pressure fuel pump is set based on required supply quantities to the low-pressure fuel supply system and to the high-pressure fuel supply system obtained according to the engine operation conditions. The discharge quantity of the fuel pump in the internal combustion engine can be set as appropriate, and thus, deterioration in fuel efficiency due to excessive flow rate setting and operation failure due to insufficient fuel supply can be prevented, whereby reliability is improved.

Abstract: The computer program product according to an embodiment of the invention causes a computer to execute the process including acquiring circuit information generated by behavioral synthesis, determining an active condition of a net, determining an active condition of an alternate path, determining an active condition of an alternate data path, determining an active condition of each path, and detecting a false path.

Abstract: A false path detecting method includes (a)˜(e) steps. In the (a) step, a data flow occurrence condition that a net becomes active is provided. In the (b) step, one of said plurality of nets as a selected net is selected. In the (c) step, a net connected to an input side or an output side of an element connected to an input side or an output side of said selected net of said plurality of nets is selected as a first specific net. In the (d) step, said first specific net is added to said selected net to generate a first specific path. In the (e) step, whether or not said first specific path is a false path is judged based on said data flow occurrence condition of said selected net and said data flow occurrence condition of said first specific net.

Abstract: A false path detecting method includes (a)˜(e) steps. In the (a) step, a data flow occurrence condition that a net becomes active is provided. In the (b) step, one of said plurality of nets as a selected net is selected. In the (c) step, a net connected to an input side or an output side of an element connected to an input side or an output side of said selected net of said plurality of nets is selected as a first specific net. In the (d) step, said first specific net is added to said selected net to generate a first specific path. In the (e) step, whether or not said first specific path is a false path is judged based on said data flow occurrence condition of said selected net and said data flow occurrence condition of said first specific net.

Abstract: A hardware description verifying system includes a storage unit, an output unit and a processor. The storage unit stores a source program for hardware description in a program language. The processor detect a portion of the source program different in logic interpretation between a case of compiling the source program using a compiler and a case of behavioral synthesis, and outputs existence of the source program portion to the output unit.

Abstract: The high-pressure fuel supply device for an internal combustion engine for pressurizing fuel to a high pressure and supplying the pressurized fuel to the internal combustion engine.