摘要:
A multiplication device for performing a multiplication operation on a multiplicand X and two fixed coefficients C1 and C2 where C1>C2. The multiplication device comprises a multiplier for multiplying multiplicand X and the average CA of the two fixed coefficients C1 and C2; a shift register for obtaining a sum of the multiplicand X data after being shifted up according to a position of a “1” bit in bit data where the bit data is the remainder coefficient obtained by subtracting average CA from fixed coefficient C1; and a selector for selecting a product obtained for one of the fixed coefficients C1 and C2. When the fixed coefficient C1 is selected, the selector outputs the sum of the product returned by the multiplier and the accumulated value obtained by the shift register; when fixed coefficient C2 is selected, the selector outputs the difference of the product returned by the multiplier minus the accumulated value obtained by the shift register. A fixed coefficient FIR digital filter having a plurality of multiplication devices above-mentioned is also disclosed.
摘要:
A logic optimization device refers to hierarchical circuit-design descriptions representing multiple layers of an integrated circuit, and decides whether or not each output terminal at each lower layer is connected with its upper layer. If an output terminal at a lower layer has been decided to be unconnected with its upper layer, the logic optimization device deletes from the hierarchical circuit-design descriptions an information part describing the output terminal, and deletes from the hierarchical circuit-design descriptions an information part describing an element at the lower layer connected with the deleted output terminal, thereby producing a gate-level net-list of an integrated circuit without ineffectual elements.
摘要:
There is described a means of shortening of the time required for verification by a formal logic verification system which compares details of a circuit represented in the form of a register transfer level (RTL) description with details of the circuit represented in the form of a gate level netlist. Logical equivalence between an RTL description and a gate level netlist obtained through logical compilation of the RTL descriptions is verified. In a case where a plurality of blocks having the same function are included in the circuit, one of a plurality of descriptions that are included in the netlist and relate to the function is compared with the RTL description relating to the functional blocks (comparison {circle around (1)}). If one of the descriptions of the netlist has already been verified, a plurality of descriptions included in the netlist are compared with the description that is taken as the first reference description.
摘要:
An antiphlogistic analgesic adhesive which comprisesa flexible substrate andan indomethacin containing pressure-sensitive adhesive layer closely contacting said flexible substrate, wherein said pressure-sensitive adhesive layer comprises a mixture of(a) indomethacin,(b) a copolymer of (i) an alkyl acrylate having 4 to 11 carbon atoms in the alkyl moiety and (ii) a functional monomer having a functional group in the molecule thereof and/or a vinyl monomer, which has pressure-sensitive adhesive properties at room temperature, and(c) an absorption accelerating assistant which maintains said indomethacin in a solubilized state in said copolymer and has skin diffusibility.
摘要:
A subirrigation system 10 includes a water-impervious member 16, and keeps water content in soil of a cultivated land 200 in a proper state for growing a plant. The water-impervious member 16 is formed into an upper opening vessel shape, and has a water reserving function. Water is fed to an inner portion of the water-impervious member 16 from a water tank 12 via a feed water pipe 14, whereby a soil portion 26 in a gravitational water state is formed. A water level 28 of the gravitational water within the water-impervious member 16 is properly controlled to a desired water level by a water level controller 18 provided in the feed water pipe 14. The gravitational water within the water-impervious member 16 controlled to the desired water level is appropriately sucked up to the soil in an upper layer in accordance with a capillary phenomenon. Accordingly, a soil portion 30 in a capillary water state having proper water content is formed in the cultivated land 200.
摘要:
A semiconductor device includes a delay amount measuring unit, multiple delay sections and a correction signal generating unit. The delay amount measuring unit for measures an actual delay amount corresponding to a specified delay amount by supplying a clock signal with a known period to multiple 1-ns-delay strings with a preassigned delay amount, and by detecting phase variations of the clock signal by the 1-ns-delay strings. The delay sections includes a delay string capable of freely adjusting a connection number of its delay elements. The correction signal generating unit generates a correction signal for enabling each of the delay sections to correct the connection number of the delay strings such that each delay section has a desired delay amount, in accordance with the actual delay amount corresponding to the specified delay amount and measured by the delay measuring unit.
摘要:
The present invention provides a pharmaceutical composition by a novel action mechanism without serious side effects for delayed hypersensitivity and a screening method of the same. The invention also provides a novel assay method of inhibitors/suppressive agents of PAR-2. The invention relates to a pharmaceutical composition for delayed hypersensitivity containing one or two or more active ingredients selected from the group consisting of inhibitors of PAR-2 and suppressive agents of PAR-2 gene expression and a pharmaceutically acceptable carrier, and to a method for screening active ingredients for pharmaceutical composition for delayed hypersensitivity by contacting a subject substance with cells expressing PAR-2 and by determining expression or activity of PAR-2. The invention also relates to a method for detecting or quantifying actions of the subject substance for PAR-2 using cells expressing PAR-2 in a culture containing inositol.
摘要:
The present invention relates to a composition for prevention and treatment of kidney diseases comprising one or more effective component(s) of a PAR-2 activating agent which is able to activate PAR-2 and a pharmaceutically acceptable carrier. The present invention further relates to a method for prevention and treatment of kidney diseases comprising administration of a composition for prevention and treatment of kidney diseases containing a PAR-2 activating agent which is able to activate PAR-2 to patients suffering from kidney diseases, and also relates to the use of a PAR-2 activating agent which is able to activate PAR-2 for the manufacture of a composition for prevention and treatment of kidney diseases. The present invention furthermore relates to a method for screening an effective ingredient for prevention and treatment of kidney diseases comprising screening of the activating action of the test substance to PAR-2.
摘要:
After a logic verification is made in a low-hierarchical block, a logic verification is made in a high-hierarchical block circuit in a state that the low-hierarchical block is not the subject of comparison. Even if the number of input ports in the low-hierarchical block increases due to a change of the circuit, logical equivalence of the high-hierarchical circuit is verified by using equivalence information of the input ports.