Malyugin's Theorems: A New Concept in Logical Control, VLSI Design, and Data Structures for New Technologies

Authors:
V. P. Shmerko
Affiliations:
University of Calgary, Calgary, Canada, Strzelin Technical University, Strzelin, Poland
Venue:
Automation and Remote Control
Year:
2004

Citing 9
Cited 1

Arithmetic Spectrum Applied to Fault Detection for Combinational Networks

IEEE Transactions on Computers
Verification of arithmetic circuits with binary moment diagrams

DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Binary decision diagrams and applications for VLSI CAD

Binary decision diagrams and applications for VLSI CAD
A Note on the Polynomial Form of Boolean Functions and Related Topics

IEEE Transactions on Computers
Fast Linearly Independent Arithmetic Expansions

IEEE Transactions on Computers
Spectral Techniques in VLSI CAD

Spectral Techniques in VLSI CAD
The Word-Level Models for Efficient Computation of Multiple-Valued Functions. PART 1: LAR Based Model

ISMVL '02 Proceedings of the 32nd International Symposium on Multiple-Valued Logic
Using word-level ATPG and modular arithmetic constraint-solving techniques for assertion property checking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A discussion on the history of research in arithmetic and Reed-Muller expressions

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Representation of Logical Circuits by Linear Decision Diagrams with Extension to Nanostructures

Automation and Remote Control

Quantified Score

Hi-index	0.01

Visualization

Abstract

Theoretical results due to V. Malyugin on linearization of arithmetical models of logical functions are interpreted and refined from the viewpoint of modern techniques of logical design of integral circuits and nearest neighbor technologies.