EDITORIAL
-
Guest Editor Preface
.... i
PAPERS
Representation of Functional and Spectral Transformation
-
B. Steinbach:
Most Complex Boolean Functions Detected by the Specialized
Normal Form
.... 259
-
C. Moraga and R. Stanković:
Properties of the Reed-Muller Spectrum of Symmetric
Functions
.... 281
-
R. Stanković and J. Astola:
Remarks on Applications of Arithmetic Expressions for Efficient
Implementation of Elementary Functions
.... 295
-
H. Sarukhanyan, S. Agaian, K. Egiazarian, and J. Astola:
Reversible Hadamard Transforms
.... 309
-
S. Yanushkevich and V. Shmerko:
Teaching Reed-Muller Techniques in Introductory
Classes on Logic Design
.... 331
Verification and Boolean Satisfiability (SAT)
-
D. Große and R. Drechsler:
BDD-based Verification of Scalable Designs
.... 367
-
R. Wille, G. Fey, and R. Drechsler:
Building Free Binary Decision Diagrams Using SAT Solvers
.... 381
-
B. Steinbach and C. Posthoff:
Set-Based SAT-Solving
.... 395
-
R. Drechsler, G. Fey, and S. Kinder:
An Integrated Approach for Combining BDDs and SAT Provers
.... 415
Circuit Design
-
M. Rawski, B. J. Falkowski, and T. Luba:
Digital Signal Processing Designing for FPGA Architectures
.... 437
-
I. Levin, O. Keren, and V. Ostrovsky:
Synthesis of Sequential Circuits by using Linearization
.... 461
-
O. Keren and I. Levin:
Linearization of Multi-Output Logic Functions by Ordering of
the Autocorrelation Values
.... 479
-
I. Karapetyan:
On the Restrictive Channel Thickness Estimation
.... 499
Quantum Circuits
-
A. N. Al-Rabadi:
Representations, Operations, and Applications of Switching
Circuits in the Reversible and Quantum Spaces
.... 507
-
I. Hänninen and J. Takala:
Binary Multipliers on Quantum-Dot Cellular Automata
.... 541
-
M. Lukac and M. Perkowski:
Inductive Learning of Quantum Behaviors
.... 561
BOOK REVIEWS
-
PROGRAMMABLE LOGIC CONTROLLER
by James A. Rehg, Glenn J. Sartori
.... 587
|