1 / 40

A LOGIKAI SZINTÉZIS FOGALMA

A LOGIKAI SZINTÉZIS FOGALMA. Algebrai formalizmus, amely lehetővé teszi logikai függvények, illetve többkimenetű kombinációs hálózatok költség-optimális lefedését kapu-szintű logikai elemekkel, hatékony számítógépes módszerek alkalmazásával. A logikai értékek és műveletek.

dalton
Download Presentation

A LOGIKAI SZINTÉZIS FOGALMA

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. A LOGIKAI SZINTÉZIS FOGALMA Algebrai formalizmus, amely lehetővé teszi logikai függvények, illetve többkimenetű kombinációs hálózatok költség-optimális lefedését kapu-szintű logikai elemekkel, hatékony számítógépes módszerek alkalmazásával.

  2. A logikai értékek és műveletek Két-értékes rendszerek: Állítások: IGAZ, HAMIS Bináris számrendszer: 1, 0 Kapcsolók: BEKAPCSOLVA, MEGSZAKÍTVA

  3. A logikai változók és azonosságok Az azonosságok úgy igazolhatók, hogy a változók helyébe minden lehetséges értéket behelyettesítünk, és ellenőrizzük, teljesülnek-e a műveleti tábla szabályai

  4. A kombinációs hálózat fekete-doboz modellje X1. . . .Xn : bemenetek, logikai változók Y1. . . .Ym : kimenetek, logikai változók

  5. Kombinációs hálózat definiálása táblázattal Három bemenet : X1, X2, X3 Két kimenet: Y1, Y2

  6. Kombinációs hálózatok specifikációs mélysége ●Teljesen specifikált: minden bemeneti variációra minden kimenet értéke elő van írva ● Nem-teljesen specifikált: van olyan bemeneti variáció, ahol egy kimeneti változó értéke közömbös

  7. Logikai függvények A táblázattal (igazság-tábla), illetve az algebrai kifejezéssel történő megadás

  8. Logikai függvények megadása grafikus szimbólumokkal

  9. Grafikus logikai szimbólumok

  10. Függvények egyszerűsítésének módszerei • Egyszerűsítés algebrai módszerrel • Quine módszere • A Karnaugh táblás módszer • A Quine-McCluskey módszer

  11. Az algebrai módszer

  12. A Karnaugh-táblás módszer I. Három változós Karnaugh-tábla:

  13. A Karnaugh-táblás módszer II. Négy változós Karnaugh-tábla:

  14. Szomszédos mintermek összevonása

  15. Szomszédos termek összevonása B D

  16. Teljesen határozott függvények egyszerűsítése K-táblán Prímimplikánsok: Felesleges prímimplikáns

  17. Nem teljesen határozott logikai függvények egyszerűsítése K-táblán Prímimplikánsok: Felesleges prímimplikáns

  18. Teljesen specifikált, egykimenetű kombinációs hálózatok tervezése LÉPÉSEK: • Egyszerűsítés K táblával • Döntés a logikai építőelemek választékáról 3. Realizáció

  19. A számítógépes logikai szintézis egy célszerű formalizmusa: a „kockák (cubes) algebrája”

  20. Kocka-elemek közötti műveletek KONSZENZUS (CONSENSE) METSZET (INTERSECTION) ÉLES-SZORZAT (SHARP PRODUCT)

  21. Kockák és kapcsolatuk a logikai termekkel

  22. Üres kocka (nc), teli-kocka (fc)

  23. KOCKA A KARNAUGH-TÁBLÁN

  24. A kockák hálója

  25. Kockák metszete (INTERSECTION)

  26. Példák

  27. KOCKÁK KONSZENZUSA

  28. PÉLDÁK

  29. Kockák éles szorzata

  30. Az éles szorzat P-transzformáltja

  31. Az éles szorzat lefedett nulladrendű kockái és összefüggése a negálással

  32. Példák

  33. Újabb példa

  34. Műveletek kocka-halmazok között. Egy unáris művelet, a „SUBSUMING”

  35. Az SU K-táblás szemléltetése

  36. Két kockahalmaz metszete

  37. Két kocka-halmaz éles szorzata

  38. Az éles szorzat tulajdonságai

  39. Unáris művelet: konszenzus egy kocka-halmazon

  40. Prímimplikánsok generálása iteratív konszenzussal

More Related