Most complex Boolean functions detected by the specialized normal form
Steinbach Bernd
Facta universitatis - series: Electronics and Energetics, 2007 20(3):259-279
Details  Cross Ref cited by(1)  Full text ( 113 KB)  DOI:10.2298/FUEE0703259S
Properties of the Reed-Muller spectrum of symmetric functions
Moraga Claudio, Stanković Radomir S.
Facta universitatis - series: Electronics and Energetics, 2007 20(3):281-294
Details  Full text ( 154 KB)  DOI:10.2298/FUEE0703281M
Remarks on applications of arithmetic expressions for efficient implementation of elementary functions
Stanković Radomir S., Astola Jaakko T.
Facta universitatis - series: Electronics and Energetics, 2007 20(3):295-308
Details  Full text ( 77 KB)  DOI:10.2298/FUEE0703295S
Reversible Hadamard transforms
Sarukhanyan Hakob, Agaian Sos, Egiazarian Karen, Astola Jaakko
Facta universitatis - series: Electronics and Energetics, 2007 20(3):309-330
Details  Full text ( 106 KB)  DOI:10.2298/FUEE0703309S
Teaching Reed-Muller techniques in introductory classes on logic design
Yanushkevich Svetlana N., Shmerko Vladimir P.
Facta universitatis - series: Electronics and Energetics, 2007 20(3):331-365
Details  Full text ( 428 KB)  DOI:10.2298/FUEE0703331Y
BDD-based verification of scalable designs
Große Daniel, Drechsler Rolf
Facta universitatis - series: Electronics and Energetics, 2007 20(3):367-379
Details  Full text ( 79 KB)  DOI:10.2298/FUEE0703367G
Building free Binary Decision Diagrams using SAT solvers
Wille Robert, Fey Görschwin, Drechsler Rolf
Facta universitatis - series: Electronics and Energetics, 2007 20(3):381-394
Details  Full text ( 486 KB)  DOI:10.2298/FUEE0703381W
Set-based SAT-solving
Steinbach Bernd, Posthoff Christian
Facta universitatis - series: Electronics and Energetics, 2007 20(3):395-414
Details  Full text ( 116 KB)  DOI:10.2298/FUEE0703395S
An integrated approach for combining BDDs and SAT provers
Drechsler Rolf, Fey Görschwin, Kinder Sebastian
Facta universitatis - series: Electronics and Energetics, 2007 20(3):415-436
Details  Full text ( 142 KB)  DOI:10.2298/FUEE0703415D
Digital signal processing designing for FPGA architectures
Rawski Mariusz, Falkowski Bogdan J., Łuba Tadeusz
Facta universitatis - series: Electronics and Energetics, 2007 20(3):437-459
Details  Full text ( 175 KB)  DOI:10.2298/FUEE0703437R
Synthesis of sequential circuits by using linearization
Levin Iliya, Keren Osnat, Ostrovsky Vladimir
Facta universitatis - series: Electronics and Energetics, 2007 20(3):461-477
Details  Full text ( 138 KB)  DOI:10.2298/FUEE0703461L
Linearization of multi-output logic functions by ordering of the autocorrelation values
Keren Osnat, Levin Ilya
Facta universitatis - series: Electronics and Energetics, 2007 20(3):479-498
Details  Full text ( 135 KB)  DOI:10.2298/FUEE0703479K
On the restrictive channel thickness estimation
Karapetyan Iskandar
Facta universitatis - series: Electronics and Energetics, 2007 20(3):499-506
Details  Full text ( 161 KB)  DOI:10.2298/FUEE0703499K
Representations, operations, and applications of switching circuits in the reversible and quantum spaces
Al-Rabadi Anas N.
Facta universitatis - series: Electronics and Energetics, 2007 20(3):507-539
Details  Full text ( 535 KB)  DOI:10.2298/FUEE0703507A
Binary multipliers on quantum-dot cellular automata
Hänninen Ismo, Takala Jarmo
Facta universitatis - series: Electronics and Energetics, 2007 20(3):541-560
Details  Cross Ref cited by(1)  Full text ( 4605 KB)  DOI:10.2298/FUEE0703541H
Inductive learning of quantum behaviors
Lukac Martin, Perkowski Marek
Facta universitatis - series: Electronics and Energetics, 2007 20(3):561-586
Details  Full text ( 142 KB)  DOI:10.2298/FUEE0703561L