Back to Search Start Over

Design and Verification of Logical Models.

Authors :
Malyugin, V. D.
Source :
Automation & Remote Control; Jun2004, Vol. 65 Issue 6, p997-1006, 10p
Publication Year :
2004

Abstract

Verification methods for testing the correctness of realization of arithmetical polynomial and generalized logical forms are designed such that the verification complexity is proportional to the complexity of the initial polynomial. Verification speed is increased through multiple computations. [ABSTRACT FROM AUTHOR]

Subjects

Subjects :
POLYNOMIALS
ARITHMETIC
MATHEMATICS
SET theory
LOGIC
COMPUTERS

Details

Language :
English
ISSN :
00051179
Volume :
65
Issue :
6
Database :
Complementary Index
Journal :
Automation & Remote Control
Publication Type :
Academic Journal
Accession number :
16764044
Full Text :
https://doi.org/10.1023/B:AURC.0000030909.45643.3a
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details