verification

(redirected from Pre-verified)
Also found in: Dictionary, Thesaurus, Medical, Legal, Financial.

verification

[‚ver·ə·fə′kā·shən]
(computer science)
The process of checking the results of one data transcription against the results of another data transcription; both transcriptions usually involve manual operations.

verification

any procedure regarded as establishing the TRUTH of a proposition or hypothesis.

Verification

 

an empirical confirmation of a theoretical scientific proposition, by a “return” to the visual level of cognition, whereby the ideal level of abstractions is ignored and the abstractions are identified with observable objects. For example, ideal geometrical objects such as points and straight lines are identified with their sensible forms. Generally, verification is the construction of a visual model for any given theory.

The idea of verification developed gradually as the role of logical deduction in the elaboration of scientific notions grew stronger. The recognition, particularly in mathematics and theoretical physics, of the possibility of a discrepancy between logical (abstract) thought and intuitive thought related to observability (for example, the discovery of continuous functions that have no derivative functions) gave rise to the need to substantiate the relation between abstraction and reality. A well-known expression of this need and at the same time of the position of empirical philosophy was the demand already made by Kant for the “observable exclusion” of any abstraction: “It is imperative to make any abstract conception sensory (Sinnlich), that is, to show the object corresponding to it in contemplation, since without this a conception (as it is said) would have no sense (ohne Sinn), that is to say, it would be devoid of meaning” (Works, vol. 3, Moscow, 1964, p. 302). In the neopositivist philosophy, this demand has acquired the status of a methodological principle—the principle of verifiability through experience, or the verification principle. To a certain extent it is analogous to the demand for the practical applicability of abstractions, through the removal of abstractions and their replacement by the “concrete” objects from which they are (can be) abstracted. However, as not every applicable abstraction can be verified, that is, excluded by the “visual” method (for not every reality expressed by an abstraction is observable), the criterion of verification is not identical with the criterion of practice.

REFERENCES

Wittgenstein, L. Logiko-filosofskii traktat. Moscow, 1958. (Translated from German.)
Narskii, I. S. Sovremennyi pozitivism: Kriticheski ocherk. Moscow, 1961.
Ianovskaia, S. A. “Problemy v vedeniia i iskliucheniia abstraktsii bolee vysokikh (chem pervyi) poriadkov.” In The Foundation of Statements and Decisions: Proceedings of the International Colloquium on Methodology of Sciences, Held in Warsaw 18-23 September, 1961. Warsaw, 1965.
Nevanlinna, R. Prostranstvo vremia i otnositel’nost’. Moscow, 1966. (Translated from German.)
Schlick, M. “Meaning and Verification.” Philosophical Review, 1936, vol. 45, no. 4.
Carnap, R. “Testability and Meaning.” Philosophy of Science, 1936, vol. 3, no. 4; vol. 4, no. 1.

M. M. NOVOSELOV

verification

The process of determining whether or not the products of a given phase in the life-cycle fulfil a set of established requirements.
References in periodicals archive ?
ChipStart provides sales, marketing, and support engagement solutions for companies that commerce third party semiconductor intellectual property, and high quality pre-verified subsystem solutions and supporting design services for ASIC and fables semiconductor companies.
To further reduce product development times, XMOS Semiconductor provides a range of pre-compiled, pre-verified Software Components providing fast access to a wealth of proven intellectual property.
In addition, the ARC Sound 210E Subsystem is completely pre-verified and pre-integrated.
They incorporate pre-verified combinations of hardware, software and development tools that enable customers to target specific market applications.
We realized that the AVM would be very helpful because it provided a lot of pre-implemented, pre-verified code that we could use as a tool box," stated Johann Notbauer, Director Chip Design at Siemens IT Solutions and Services PSE.
The pre-verified advanced fabric features and data flow services available as part of Sonics SMART Interconnect solutions significantly reduces the system-level verification challenges when architecting SoCs at the RTL level.
Most of these suppliers are pre-verified and trustworthy, which is what a global buyer looks for," adds Lalit.
EVE, broad-line supplier of hardware-assisted verification, today said it has pre-verified IBM's PowerPC[R] 405 and 440 system on chip (SoC) designs with its ZeBu UF[TM] (Zero Bugs Ultra Fast) under IBM's Enablement Program.
It incorporates must-have video and imaging codecs in a pre-verified, programmable environment.