Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke MIKROELEKTRONIKA, VIEEA306 MOS áramkörök: CMOS áramkörök,

Slides:



Advertisements
Hasonló előadás
Műveleti erősítők.
Advertisements

Dr. Turóczi Antal Digitális rendszerek Dr. Turóczi Antal
Digitális elektronika
Logikai alapkapcsolások
Az integrált áramkörökben (IC-kben) használatos alapáramkörök
Digitális rendszerek II.
MIKROELEKTRONIKA, VIEEA306
A félvezető dióda (2. rész)
A térvezérelt tranzisztorok I.
MOS integrált áramkörök alkatelemei
Analóg alapkapcsolások
A bipoláris tranzisztor V.
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke 1. zárthelyi megoldásai október 18.
Kovalens kötés a szilícium-kristályrácsban
Speciális tranzisztorok, FET, Hőmodell
MOS integrált áramkörök Mikroelektronika és Technológia BME Elektronikus Eszközök Tanszéke 1999 október.
MEGÚJULÓ ENERGIAFORRÁSOK BIOMASSZA
Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék R „Big Data” elemzési módszerek Kocsis Imre
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke Integrált mikrorendszerek II. MEMS = Micro-Electro-
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke Az elektrosztatikus mozgatás Székely Vladimír Mizsei.
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke IC layout tervek tesztelése.
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke IC layout tervek tesztelése.
A bipoláris tranzisztor IV.
MIKROELEKTRONIKA, VIEEA306
MIKROELEKTRONIKA, VIEEA306
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke MIKROELEKTRONIKA, VIEEA306 Integrált mikrorendszerek:
MIKROELEKTRONIKA, VIEEA306
MIKROELEKTRONIKA, VIEEA306
A térvezérelt tranzisztorok I.
MIKROELEKTRONIKA, VIEEA306
MIKROELEKTRONIKA, VIEEA306
MIKROELEKTRONIKA, VIEEA306
MIKROELEKTRONIKA, VIEEA306
MIKROELEKTRONIKA, VIEEA306
Bipoláris technológia Mizsei János Hodossy Sándor BME-EET
Monolit technika MOS technológia Mizsei János Hodossy Sándor BME-EET
A bipoláris tranzisztor I.
ELEKTRONIKA I. ALAPÁRAMKÖRÖK, MIKROELEKTRONIKA
Berendezés-orientált IC-k BME Villamosmérnöki és Informatikai Kar Elektronikus Eszközök Tanszéke Székely Vladimír, Mizsei János 2004 április BME Villamosmérnöki.
MIKROELEKTRONIKA, VIEEA306
MIKROELEKTRONIKA, VIEEA306
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke MIKROELEKTRONIKA, VIEEA306 A bipoláris IC technológia.
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke Mikroelektronika Laboratórium Tájékoztató
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke MIKROELEKTRONIKA, VIEEA306 A bipoláris tranzisztor.
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke MIKROELEKTRONIKA, VIEEA306 Integrált áramkörök: áttekintés,
MIKROELEKTRONIKA, VIEEA306
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke MIKROELEKTRONIKA, VIEEA306 Félvezető fizikai alapok.
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke 2. zárthelyi megoldásai december 2.
Programmozás Feladatok Telek Miklós BME Híradástechnikai Tanszék
PowerQuattro Rt Budapest, János utca175.
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke 1. zárthelyi megoldásai október 11.
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke 1. zárthelyi megoldásai október 10.
MIKROELEKTRONIKA, VIEEA306
MIKROELEKTRONIKA, VIEEA306
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke Mikroelektronika Laboratórium Tájékoztató
MIKROELEKTRONIKA, VIEEA306
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke MIKROELEKTRONIKA, VIEEA306 A pn átmenet működése: Sztatikus.
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke Zárthelyi előkészítés október 10.
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke MIKROELEKTRONIKA, VIEEA /2009 I. félév Követlemények.
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke MIKROELEKTRONIKA, VIEEA /2012 I. félév Követelmények.
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke MIKROELEKTRONIKA, VIEEA /2013 I. félév Követelmények.
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke MIKROELEKTRONIKA, VIEEA /2011 I. félév Követelmények.
MIKROELEKTRONIKA, VIEEA306
MIKROELEKTRONIKA, VIEEA306
Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke Termikus hatások analóg integrált áramkörökben Esettanulmány:
Technische und Wirtschaftswissenschaftliche Universität Budapest Lehrstuhl für Elektronische Bauelemente MIKROELEKTRONIK, VIEEAB00.
Technische und Wirtschaftswissenschaftliche Universität Budapest Lehrstuhl für Elektronische Bauelemente MIKROELEKTRONIK, VIEEAB00.
MIKROELEKTRONIKA, VIEEA306
MOS technológia Mizsei János Hodossy Sándor BME-EET
Zárthelyi előkészítés
Előadás másolata:

Budapesti Műszaki és Gazdaságtudományi Egyetem Elektronikus Eszközök Tanszéke MIKROELEKTRONIKA, VIEEA306 MOS áramkörök: CMOS áramkörök, konstrukciós kérdések

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET Vizsgált absztrakciós szint RENDSZER (SYSTEM) RÉSZEGYSÉG (MODULE) + KAPU (GATE) ÁRAMKÖR (CIRCUIT) n+ SD G ESZKÖZ (DEVICE) V out V in

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET A CMOS inverter V DD GND KI BE n p V DD GND KI=0 BE=1 V DD GND KI=1 BE=0 Állandósult állapotban a két tranzisztor közül mindig csak az egyik vezet, a másik lezárt

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET alapeset, a tápfeszültségtől és a tranzisztorok küszöbfeszültségétől függően 1. kis tápfeszültség: V DD < V Tn + |V Tp | egyszerre csak az egyik tranzisztor vezet 2. nagyobb tápfeszültség V DD > V Tn + |V Tp | átkapcsoláskor egyszerre vezet mindkét tranzisztor U BE U V Tn V V Tp V DD V Felső tranzisztor vezet 0 0 Alsó tranzisztor vezet Felsőtranzisztor V Tp vezet Alsó tranzisztor vezet A CMOS inverter karakterisztikája

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET A CMOS inverter karakterisztikája ► 1. Kis tápfeszültség: V DD < V Tn + |V Tp | a karakterisztika: = DD KI V U < TnBE VUha << TpDDBETn VVUVhahatározatlan.... -< TpDDBE VVUha U BE V Tn V DD -V-V Tp V DD V U KI határozatlan V DD U BE V DD -V-V Tp V DD U KI V Tn A transzfer karakterisztika középső szakasza nagyon meredek, ez a CMOS inverter jellegzetes előnye.

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET ► Karakterisztika szerkesztése A CMOS inverter karakterisztikája ► 2. Nagy tápfeszültség: V DD > V Tn + |V Tp | Átkapcsoláskor? - "egymásba vezetés"

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET Méretezés szimmetrikus működésre: Ha U BE =U K komparálási feszültség, a két tranzisztor árama megegyezik: U GSp =V DD -U K U GSn =U K A CMOS inverter A komparálási feszültség a két tranzisztor áramállandójának az arányától függ. Ha a komparálási feszültséget a tápfeszültség felére szeretnék beállítani, és V Tn =|V Tp |, akkor K n =K p -t kell beállítani. mivel a lyukak mozgékonysága kb x kisebb (lásd: Elektronika jegyzet) A komparálási feszültség a W/L arányokkal változtatható

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET A CMOS inverter – dinamikus kar. ► Kapcsolási idők számítása  Mitől függenek? a kimenet áram-meghajtó képességétől a kimenetet terhelő kapacitástól ► Ha a két tranzisztor pontosan komplementer karakterisztikájú, a kapcsolási idők (fel- és lefutás) is egyformák lesznek (K n =K p és V Tn =|V Tp |)

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET A kapacitások: ► Meghajtó fokozat tranzisztorainak belső kapacitásai ► Következő fokozat tranzisztorainak bemeneti kapacitásai ► Vezetékezés kapacitása V out1 V in M2M2 M1M1 M4M4 M3M3 V out2 C DB2 C DB1 C GD12 intrinsic MOS transistor capacitances C G4 C G3 extrinsic MOS transistor (fanout) capacitances CwCw wiring (interconnect) capacitance

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET A kapacitások ► A belső kapacitásokat már érintettük:  S-G G-D átlapolási kapacitások  a csatorna kapacitása  a pn átmenetek kapacitásai ► A vezetékezés kapacitása  az összekötő vezetékek geometriájától függ (szélesség, hosszúság)  a technológiai fejlődésével jelentősége egyre nő Lásd később

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET A CMOS inverter – dinamikus kar. ► Kapcsolási idők számítása  azonos kapcs. idők, integrálás a kapacitás szélső feszültség értékeire: V LM – a terhelő kapacitás minimális feszültsége  Ha akkor Csökkenthető a tápfeszültség vagy W/L növelésével

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET A CMOS inverter fogyasztása ► Statikus fogyasztás nincs, mert nincs statikus áram ► Átkapcsoláskor van dinamikus fogyasztás, amely 2 részből áll:  Egymásba vezetés: A bemenő jel felfutásának egy szakaszában mindkét tranzisztor egyszerre vezet, ha V Tn <U BE <V DD -V Tp  Töltés-pumpálás: Jelváltásokkor a kimeneten lévő C L terhelést 1-re váltáskor a p tranzisztoron keresztül tápfeszültségre töltjük, majd 0-ra váltáskor az n tranzisztoron keresztül kisütjük. Töltést pumpálunk a tápból a föld felé.

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET A CMOS inverter fogyasztása ► Egymásba vezetés: A bemenő jel felfutásának egy szakaszában mindkét tranzisztor egyszerre vezet, ha V Tn <U BE <V DD -V Tp az átfolyó töltés:, ahol t UD az idő, amíg áram folyik, b egy konstans, ami az átkapcsoló jel alakjától függ. b  P ~ f V DD 3

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET A CMOS inverter fogyasztása ► Töltéspumpálás: Jelváltásokkor a kimeneten lévő C L terhelést 1-re váltáskor a p tranzisztoron keresztül tápfeszültségre töltjük, majd 0-ra váltáskor az n tranzisztoron keresztül kisütjük. P cp =f C L V DD 2 A töltéspumpálás teljesítmény igénye arányos a frekvenciával és a tápfeszültség négyzetével. ► A teljes fogyasztás a 2 összege (ha egymásba vezetés is van), arányos a frekvenciával és a tápfeszültség 2. ill. 3. hatványával.

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET CMOS áramkörök fogyasztásának összetevői ► Dinamikus összetevők – minden kapcsolási eseménykor  egymásbavezetés, töltéspumpálás  eseménysűrűséggel arányos órajel frekvencia az áramkör aktivitása ► Parazita jelenségek miatt további összetevők:  küszöb alatti áramok  pn-átmenetek szivárgási áramai – leakage: ma már nagyon jelentős  szivárgás a gate dielektrikumon keresztül

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET Konstrukciós kérdések ► CMOS kapuk szerkesztése ► Gyártás (poli-Si gate-es technológia áttekintése) ► Layout

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET  ezek kombinációja: komplex kapu CMOS kapuk ► nMOS kapcsolóhálózat szerkesztése: ► Kapcsolók helyett nMOS tranzisztorok ► Load helyett nMOS áramkör duálisa: pMOS hálózat  soros áramút: NAND kapcsolat  párhuzamos áramút: NOR kapcsolat

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET ► A CMOS inverterben mindkét tranzisztort vezéreljük. ► A kapuk esetében egy "felső" (pMOS) ill. "alsó" (nMOS) hálózat fog megjelenni, mindkét hálózat annyi tranzisztorból áll, ahány bemenete van a függvénynek.  Azoknál a bemeneti kombinációknál, ahol a függvény értéke 0, az alsó hálózat rövidzár a kimenet és a föld között, míg a felső hálózat szakadás a kimenet és a táp között  ha a függvény értéke 1, akkor az alsó hálózat szakadás, a felső hálózat rövidzár A p ill. n tranzisztorokkal duális hálózatokat kell megvalósítani ► Azonos bemenetek tranzisztorait össze kell kötni CMOS kapuk

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET CMOS kapuk ► NOR kapu ► NAND kapu Egy n bemenetű CMOS kapuhoz 2n db tranzisztorra van szükség (passzív terhelésű kapuknál csak n+1 kell)

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET Komplex CMOS kapuk szerkesztése ► duális topológia (hurokból vágat, vagatból hurok) ► duális alkatrészekkel: nMOS helyett pMOS ► azonos bemenetekhez tartozó tranzisztorok gate-jeit összekötni ► W/L arányok helyes méretezése

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET Vizsgált absztrakciós szint RENDSZER (SYSTEM) RÉSZEGYSÉG (MODULE) + KAPU (GATE) ÁRAMKÖR (CIRCUIT) n+ SD G ESZKÖZ (DEVICE) V out V in

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET Egy kiürítéses inverter layout rajza ► Layout = az egymást követő maszkokon kialakítandó 2D-s alakzatok együttese ► Minden egyes maszkhoz színkódot rendelünk:  aktív terület: piros  poli-Si: zöld  kontaktusok:fekete  fémezés:kék ► Maszk == layout sík (réteg) S G D S G D Hol van tranzisztor? Ahol adalékolt régió között csatorna lehet CHANNEL = ACTIVE AND POLY

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET Si-compilerek ► Logikai séma vagy magasszintű leírás ► Tranzisztor szintű kapcsolási rajz W/L adatokkal ► Pálcika diagramos layout ► Tényleges layout  automatikus konverzió az egyes leírásmódok között  HARDVERSZINTÉZIS 1.Viselkedési leírásból struktúrális 2.Struktúrális leírás implementációja adott technológiával: technology mapping Most a cél IC megvalósítás alapjait láttuk Lehet FPGA-ra is

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET CMOS inverter layout rajza p zseb n zseb

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET Egyszerűsített layout: pálcika diagram (stick diagram) aktív zóna poli fém kontaktus Vdd Out In GND In Out W/L arányokat megadjuk 2/2

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET Layout primitívek: egyszerű alakzatok Gate (poli-Si mintázat maszkja) Kontaktusok (ablaknyitó maszk az oxidon) S/D kivezetések (fémezés mintázat maszkja) Aktív zóna (ablaknyitó maszk a vékony oxidon)

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET nMOS tranzisztor layout rajza: layout primitívek tényleges maszkoknak megfelelő rétegeken nMOS tranzisztor layout rajza + körvonalrjaz + pineknMOS tranzisztor makro: körvonalrajz, pinek rajza, feliratok: pszeudo rétegeken nMOS D S G G Layout makrok - primitívekből

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET Layout makrok - makrokból és primitívekből nMOS D S G G pMOSDS G G Kapu szintű layout

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET n+ p-Si hordozó n zseb p+ CMOS struktúra (inverter)

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET ► Többlet maszkok:  n-zseb (vagy p-zseb, a szubsztrát típusától függően)  p diffúzió (vagy n-diffúzió, a szubsztrát típusától függően) ► Több fémréteges CMOS:  minden fémréteghez saját maszk,  kontaktusok, viák ► Több poli réteg is lehetséges (analóg CMOS) ► Tipikus: maszk ► Bizonyos szabályok betartandók a gyárthatósághoz: tervezési szabályok  a technológiából következnek, IC gyár adja CMOS struktúrák

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET Egy CMOS áramkör layout részlete INV NAND3 A layout jól visszafejthető: ellenőrzés, valós késleltetések Csak 2 fém réteg

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET Modern vezetékezés

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET Példa: Intel 0.25 mikronos technológia 5 metal layers Ti/Al - Cu/Ti/TiN Polysilicon dielectric

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET Vezetékek kapacitásai elektromos erővonalak W H t di dielektrikum (SiO 2 ) hordozó C pp = (  di /t di ) WL áramirány dielektromos állandó (SiO 2 => 3.9) L Párhuzamos fegyverzetek: parallel plate capacitance

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET Vezetékek kapacitásai interwire fringe pp C wire = C pp + C fringe + C interwire = (  di /t di )WL + (2  di )/log(t di /H) + (  di /t di )HL párhuzamos lemez szél kapacitás vezetékek közötti H

Budapesti Műszaki és Gazdaságtudomanyi Egyetem Elektronikus Eszközök Tanszéke CMOS áramkörök, konstrukciós kérdések © Poppe András, BME-EET További hatások a vezetékeknél ► Ellenállás ► Elosztott paraméteres RC vonal Diffúziós egyenlet