Technique of computing logic derivatives for MVL-functions

Technique of computing logic derivatives for MVL-functions

A technique to compute logic derivatives of MVL-functions is considered based on four algorithms, two of them are new. At first these are symbolic and matrix algorithms to find logic derivatives with respect to variables, and, secondly, partial direct and inverse derivatives. The algorithms are comp...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings / International Symposium on Multiple-Valued Logic pp. 267 - 272
Main Authors: Shmerko, V.P., Yanushkevich, S., Levashenko, V., Bondar, I.
Format: Conference Proceeding Journal Article
Language:English
Published: IEEE 1996
Subjects:
Bonding
Boolean functions
Calculus
Circuit testing
Computer science
Logic devices
Logic testing
Pipeline processing
Switching circuits
Taylor series
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A technique to compute logic derivatives of MVL-functions is considered based on four algorithms, two of them are new. At first these are symbolic and matrix algorithms to find logic derivatives with respect to variables, and, secondly, partial direct and inverse derivatives. The algorithms are compared by using an example of testing a MVL switching circuit. The matrix approach allows to extract the appropriatenesses of computing process and to come to some simple operators of logic processing truth vectors of MVL functions.
Bibliography:SourceType-Scholarly Journals-2
ObjectType-Feature-2
ObjectType-Conference Paper-1
content type line 23
SourceType-Conference Papers & Proceedings-1
ObjectType-Article-3
ISBN:9780818673924
0818673923
ISSN:0195-623X
2378-2226
DOI:10.1109/ISMVL.1996.508366