Spectral techniques facilitate the design and testing of today's increasingly complex digital
devices There is heightened interest in spectral techniques for the design of digital devices …

Compared to binary switching functions, the multiple-valued functions (MV) offer more
compact representations of the information content of signals modeled by logic functions …

The structure function is an often-used mathematical representation of the investigated
system in reliability analysis. It is a binary function that models a system state according to …

Due to the increasing miniaturization according to Moore's law, classical circuit design will
reach soon its limits. Reversible computation is an interesting alternative, since it provides a …

We propose to utilize a formal verification algorithm to reduce the fitness evaluation time for
evolutionary post-synthesis optimization in evolvable hardware. The proposed method …

Discrete functions are an integral part of numerous areas of research in mathematics and
computer science. Efficient processing of such functions in a computer requires an …

Topological analysis deals with evaluation of influence of the system components on system
operation. Such evaluation is usually performed by identification and quantification of …

This paper presents a decision diagram structure intended for the simulation and verification
of reversible and quantum circuits. The structure is designed to efficiently represent the …

Semiconductor devices and binary information technology reach their limits set by the
atomic size of miniaturization, calculation speed, and the fundamental principle of energy …

Reliability is very important characteristic of systems. One of the principal tasks of reliability
analysis is evaluation of importance of individual system components for the system proper …