estudij.meolic.com

Vrsto let sem bil zaposlen na Fakulteti za elektrotehniko, računalništvo in informatiko na Univerzi v Mariboru. V tistem času sem tvoril nekatere statične spletne strani, ki so mi bile v pomoč pri poučevanju. Še vedno jih posodabljam, zato ostajajo uporabne. Za vso gradivo, ki je na portalu estudij.meolic.com, dovoljujem prosto uporabo za vse namene. Za gradiva, ki jih dobite s sledenjem povezav na tuje strani, upoštevajte njihove avtorske pravice.

Digitalna tehnika

Gradivo - Notes

R. Meolic: Zapiski vaj 2017/18
B. Dugonik: Digitalni sistemi
Pomožni list za izpit: dt-pomoznilist-5.pdf, dt-pomoznilist-5.odt.

Knjige - Books

All About Circuits: Volume IV - Digital
John P. Hayes: Introduction to Digital Logic Design, 1993, BookDepository, amazon.de, amazon.co.uk, amazon.com
Clive Maxfield: Bebop to the Boolean Boogie, 2009, BookDepository, amazon.de, amazon.co.uk, amazon.com
Zvi Kohavi, Niraj K. Jha: Switching and Finite Automata Theory, 2009, BookDepository, amazon.de, amazon.co.uk, amazon.com
Darren Ashby, Bonnie Baker, Stuart Ball: Circuit Design: Know It All, 2008, BookDepository, amazon.de, amazon.co.uk, amazon.com

Številski sistemi - Number Systems

Number Systems and Bases (BetterExplained, Kalid Azad)
Number Base Conversions (Darryl K. Nester)
The Number System (Kids OLR)
IEEE Standard 754 Floating Point Numbers (Steve Hollasch)
IEEE 754 Converter (François Grondin)
A Tutorial on Data Representation (Chua Hock-Chuan)

Boolova algebra in kombinacijska vezja - Boolean algebra and combinational circuits

georgeboole.com (University College Cork)
The Calculus of Logic (George Boole)
Boolean algebra, Truth table, Mathematical logic (Wikipedia)
Boolean algebra (MathWorld)
How Boolean Logic Works (Marshall Brain)
Boolean Functions Classified (h2g2)
Quine-McCluskey algorithm (Wikipedia)
List of Boolean algebra topics (Wikipedia, tukaj najdete dodatna in tezja poglavja)
Post's functional completeness theorem (podrobna razlaga funkcijsko polnih sistemov)
Simple Axiom Systems for Boolean Algebra (R. Veroff)
Automated Deduction (W. McCune)
Boolean algebra (video tutorials) (V. Keleshev)

Sekvenčna vezja - Sequential circuits

Types of Flip-flop (University of Sydney)
Analysis of Sequential Circuits (University of Sydney)
Design of Sequential Circuits (University of Sydney)
Implementing Mealy and Moore Machines (University of Maryland)
Sequential Circuits (Asic-World)

Končni avtomati - Finite state machines

Mealy and Moore machine and their conversions (Smart Academy)
Finite State Machine Optimization (University of California)
Finite State Machine (StateWORKS)

Biografije - Biographies (večinoma iz - mostly from - The History of Mathematics)

Zelo zanimiva je tudi stran - Very intersting is also the page - PIONEERS, the people and ideas that made a difference.

Povezave na tuje strani - Links to other professors

A. Trost (Programirljivi digitalni sistemi, FE, Univerza v Ljubljani)
C.R. Nave (Digital Circuits, Georgia State University)
T. E. Doom (Digital System Design, Wright State University)
J. Knight (ELEC 2607, Switching Circuits, Carleton University)
C. Lin (Computer organization, University of Maryland)
DIGITAL BYTE (M. S. Palve)

Računalniška orodja - Computer tools

Najbolj zanimiva orodja:

Minimizer (PDNO, PKNO, minimizacija Boolovih funkcij, Android)
Karnaugh Kmap Solver (Karnaughjevi diagrami, Android)
Logisim (Hendrix College) in izpeljanki logisim-evolution (REDS Institute) ter Digital (Helmut Neemann) (simulacija vezij, GPL, JAVA)
Circuit Diagram (simulacija vezij v brskalniku, Javascript)
Mobi Calculator (kalkulator, ki zna dvojiski komplement)
IEEE-754 Converter (pretvorbe med stevili)
Droid Tesla (SPICE simulator, primeren za DT)
EveryCircuit (se en SPICE simulator)
ElectroDroid (interaktivni referencni prirocnik)
Electronic Circuit Simulator (P. Falstad, I. Sharp)

Druga orodja:

BDD Scout (Boolove funkcije, GPL, GNU/Linux, MS Windows, FERI, Univerza v Mariboru)
JFLAP (diagrami prehajanja stanj, Mealyjevi in Moorovi avtomati, freeware, JAVA, Univerza Duke, Durham, Severna Karolina, ZDA)
BOOM - Boolove funkcije (freeware, MS Windows, Tehniska univerza v Pragi)
Karnaugh Map (Boolove funkcije, freeware/commercial, MS Windows, Russell Sasamori)
Son of BirdBrain II (dokazovanje izrekov, interaktivni program, William McCune, University of New Mexico)
Logic Works (nakup na amazonu) in DesignWorks (simulacija vezij, oboje komercialni program, MS Windows)
logic.ly (simulacija vezij, komercialni program, MS Windows, GNU/Linux)
Hades - download - tutorial - demo applets (simulacija vezij, freeware, JAVA, Univerza v Hamburgu)
Logic Simulator (simulacija vezij, GPL, JAVA, Andreas Tetzl)
JLS (simulacija vezij, freeware, JAVA, David A. Poplawski)
TkGate - simulacija vezij (GPL, GNU/Linux, Jeffery P. Hansen)
CedarLogic (simulacija vezij, freeware, MS Windows, Univerza Cedarville)
Digital Works (simulacija vezij, komercialni program, MS Windows)
EasySim (simulacija vezij, komercialni program, MS Windows)
QFSM - Mealyjevi in Moorovi avtomati (GPL, GNU/Linux, MS Windows, Stefan Duffner, Rainer Strobel)
gEDA (zahtevnejše orodje za sintezo realnih vezij, GPL, GNU/Linux)
Altium Designer (zahtevno orodje za sintezo realnih vezij, komercialni produkt)
NI Multisim Student Edition (zahtevno orodje za sintezo realnih vezij, komercialni produkt)
The Balsa Asynchronous Synthesis System (zahtevno orodje za sintezo realnih vezij, GPL, Univerza v Manchestru)
Zbirka orodij z Univerze v Berkeleyu (Center for Electronic Systems Design, Univerza v Berkeleyu)
MS Windows verzije orodij z Univerze v Berkeleyu (Alan Mishchenko, Univerza v Berkeleyu)
Dokumentacija za orodja z Univerze v Berkeleyu (Univerza v Arizoni)
Logic Friday (moderna izvedba orodij z Univerze v Berkeleyu) (freeware, MS Windows, sontrak.com)
Circuit_macros (risanje vezij in diagramov z LaTeXom)

Orodja, ki niso vzdrževana:

KARMA - download - JAVA applet (Boolove funkcije, GPL, JAVA, UFRGS - Federal University of Rio Grande do Sul, Brazilija)
KTechLab (simulacija vezij, GPL, GNU/Linux)
KSimus (simulacija vezij, GPL, GNU/Linux, Rasmus Diekenbrock)
KLogic (simulacija vezij, GPL, GNU/Linux, Andreas Rostin)
MultiMedia Logic (simulacija vezij,freeware, MS Windows, Softronics Inc.)
Digital Simulator (simulacija vezij, freeware, JAVA, Iwan van Rienen)
Zbirka interaktivnih orodij (JAVA, Tehniška univerza Ilmenau)
Oregano (simulacija analognih in digitalnih vezij, potrebuješ Gnucap, GPL, GNU/Linux)