摘要:
This invention aims to realize reduction in size without impairing measurement accuracy or connection reliability in a semiconductor pressure sensor in which a glass substrate is adhered to a rear-surface side of a pressure-sensitive chip in which piezoresistive pressure-sensitive gauges have been formed on a front surface of a diaphragm formed of a silicon single crystal to form a space between a rear surface of the diaphragm and the glass substrate, for measuring a pressure applied to the front surface of the diaphragm with reference to a pressure of the first space as a standard pressure. In order to achieve this object, the semiconductor pressure sensor includes resinous projections formed on pressure-sensitive gauge electrodes disposed on a front surface of the pressure-sensitive chip or on wiring from the pressure-sensitive gauge electrodes and bumps formed so as to partially or entirely cover the resinous projections.
摘要:
This invention aims to realize reduction in size without impairing measurement accuracy or connection reliability in a semiconductor pressure sensor in which a glass substrate is adhered to a rear-surface side of a pressure-sensitive chip in which piezoresistive pressure-sensitive gauges have been formed on a front surface of a diaphragm formed of a silicon single crystal to form a space between a rear surface of the diaphragm and the glass substrate, for measuring a pressure applied to the front surface of the diaphragm with reference to a pressure of the first space as a standard pressure. In order to achieve this object, the semiconductor pressure sensor includes resinous projections formed on pressure-sensitive gauge electrodes disposed on a front surface of the pressure-sensitive chip or on wiring from the pressure-sensitive gauge electrodes and bumps formed so as to partially or entirely cover the resinous projections.
摘要:
This invention aims to realize reduction in size without impairing measurement accuracy or connection reliability in a semiconductor pressure sensor in which a glass substrate is adhered to a rear-surface side of a pressure-sensitive chip in which piezoresistive pressure-sensitive gauges have been formed on a front surface of a diaphragm formed of a silicon single crystal to form a space between a rear surface of the diaphragm and the glass substrate, for measuring a pressure applied to the front surface of the diaphragm with reference to a pressure of the first space as a standard pressure. In order to achieve this object, the semiconductor pressure sensor includes resinous projections formed on pressure-sensitive gauge electrodes disposed on a front surface of the pressure-sensitive chip or on wiring from the pressure-sensitive gauge electrodes and bumps formed so as to partially or entirely cover the resinous projections.
摘要:
This invention aims to realize reduction in size without impairing measurement accuracy or connection reliability in a semiconductor pressure sensor in which a glass substrate is adhered to a rear-surface side of a pressure-sensitive chip in which piezoresistive pressure-sensitive gauges have been formed on a front surface of a diaphragm formed of a silicon single crystal to form a space between a rear surface of the diaphragm and the glass substrate, for measuring a pressure applied to the front surface of the diaphragm with reference to a pressure of the first space as a standard pressure. In order to achieve this object, the semiconductor pressure sensor includes resinous projections formed on pressure-sensitive gauge electrodes disposed on a front surface of the pressure-sensitive chip or on wiring from the pressure-sensitive gauge electrodes and bumps formed so as to partially or entirely cover the resinous projections.
摘要:
A method of converting a source code for converting a source code of software to an inspection code by using a computer, including the steps of: inputting a source code of software; inputting a plurality of different conversion rules; inputting a nonfunctional rule that is a constraint relating to process performance; and converting the source code to a nonfunctional inspection code written in an input language of a validation tool by the plurality of different conversion rules and the nonfunctional rule.
摘要:
A method of converting a source code for converting a source code of software to an inspection code by using a computer, including the steps of: inputting a source code of software; inputting a plurality of different conversion rules; inputting a nonfunctional rule that is a constraint relating to process performance; and converting the source code to a nonfunctional inspection code written in an input language of a validation tool by the plurality of different conversion rules and the nonfunctional rule.
摘要:
An apparatus for supporting creation of a program includes: a program execution module (25) which reads a program (60) including a random output block (64) from a storage device (30), executes a program with a test input value, and obtains an execution result of the program; a model execution module (22) which reads a model (40) including a random output model block (44) from the storage device (30), executes the model on the test input value using a model execution tool, and obtains an execution result of the model; and a cross-checking module (28) which compares the execution result obtained by the program execution module (25) and the execution result obtained by the model execution module (22). The model execution module (22) obtains an output value of the random output block which is outputted as a result of execution of the program, and uses the output value of the random output block (64) as an output value of the random output model block (44) in the model.
摘要:
In checking a model of software, there is an approach of transforming a source code of software into a checking code in order to reduce a cost required to describe the checking code by an input language of a model checker. Since a user may select only a single transformation method, there are problems in that an abstraction-level change is difficult, a rule modification cost for following up a design and a change of the source code is high, and a rule modification cost for checking using another checking tool is high. In the present invention, when the source code is transformed into the checking code, a unit that selects a plurality of transformation rules is provided to allow the user to easily change an abstraction level. Further, the plurality of transformation rules include a transformation rule of transforming the source code into an intermediate format, a transformation rule of abstracting the intermediate format, and a transformation rule of transforming the intermediate format into the checking code.
摘要:
High quality .beta.-form copper phthalocyanine pigment printing ink is produced by the present method, this method reducing the large amount of time and labor required in the process of pigmentation of crude copper phthalocyanine and production of the pigment printing ink.To this end, the production method of printing ink according to the present invention is characterized by adding to crude copper phthalocyanine, 20-80 weight % of printing ink resin based on the amount of the crude copper phthalocyanine, dry-milling the mixture at 80-170.degree. C., and heating the ground material in printing ink solvent. The printing ink obtained contains copper phthalocyanine particles of .beta.-form crystals with an aspect ratio of 1-2.
摘要:
An image transcription apparatus inludes a random access recording medium which has a picture data recording area, an attribute data recording area and a thumbnail image data recording area for storing image data indicating features of the picture date in correspondence to the attribute data. A memory is employed which has a work area used upon recording of the picture data on the recording medium and reproduction therefrom, an attribute data storage are for storing the attribute data recorded on the recording medium and a shared storage area used for storing temporarily the picture data upon recording and reproduction. The shared storage area is so arranged as to be capable of storing the thumbnail image data when the picture data is neither being recorded nor reproduced. The attribute data and the thumbnail image data can speedily be displayed on the display unit.