Verificació física electrònica

Passos principals en el flux de disseny de CI, on es pot veure el procés de verificació física al pas 6.

La verificació física és un procés mitjançant el qual es verifica el disseny d'un disseny de circuit integrat (disseny IC) mitjançant eines de programari EDA per garantir la funcionalitat i la fabricació elèctrica i lògica correctes. La verificació inclou la comprovació de regles de disseny (DRC), disseny versus esquema (LVS), XOR (OR exclusiu), comprovacions d'efecte antena i comprovació de regles elèctriques (ERC).[1][2]

Verificació de regles de disseny (DRC)

DRC verifica que el disseny compleix totes les restriccions imposades per la tecnologia. DRC també verifica la densitat de la capa per al poliment químic-mecànic (CMP).[3]

Disseny versus esquema (LVS)

LVS verifica la funcionalitat del disseny. A partir del disseny, es deriva una llista de xarxes i es compara amb la llista de xarxes original produïda a partir de la síntesi lògica o el disseny de circuits.[4]

Comprovació XOR

Aquesta comprovació s'executa normalment després d'un gir de metall, on es comparen la base de dades original i modificada. Això es fa per confirmar que s'han fet les modificacions desitjades i que no s'han fet modificacions no desitjades per accident. Aquest pas consisteix a comparar les dues bases de dades de disseny/GDS mitjançant l'operació XOR de les geometries de disseny. Aquesta comprovació dona com a resultat una base de dades que té totes les geometries que no coincideixen en els dos dissenys.[5]

Comprovació de l'efecte antena

L'antena és bàsicament una interconnexió metàl·lica, és a dir, un conductor com el polisilici o el metall, que no està connectat elèctricament al silici ni posat a terra, durant els passos de processament de l'oblia.[6] Durant el procés de fabricació, l'acumulació de càrrega es pot produir a l'antena durant certs passos de fabricació com el gravat amb plasma, que utilitza matèria altament ionitzada per gravar. Si la connexió al silici no existeix, es poden acumular càrregues a la interconnexió fins al punt en què es produeix una descàrrega ràpida i es produeix un dany físic permanent a l'òxid de la porta del transistor. Aquest fenomen ràpid i destructiu es coneix com a efecte antena. Els errors de l'antena es poden curar afegint un petit díode d'antena per descarregar el node de manera segura o dividint l'antena encaminant-se cap a una altra capa metàl·lica i després cap avall de nou.[6]

La relació d'antena es defineix com la relació entre l'àrea física dels conductors que formen l'antena i l'àrea total d'òxid de la porta a la qual l'antena està connectada elèctricament.[7]

Comprovació de regles elèctriques (ERC)

L'ERC verifica la correcció de les connexions d'alimentació i terra, i que els temps de transició del senyal (slew), les càrregues capacitives i les sortides estan adequadament limitats.[8] Això podria incloure la comprovació

  • Àrees de pou i substrat per a contactes i espais adequats, garantint així les connexions correctes d'alimentació i terra
  • Entrades no connectades o sortides en curtcircuit.

Les portes no s'han de connectar directament als subministraments; La connexió s'ha de fer només a través de cel·les altes/baixes TIE. Les comprovacions ERC es basen en supòsits sobre les condicions normals de funcionament de l'ASIC, de manera que poden donar molts avisos falsos sobre ASIC amb subministraments múltiples o negatius. També poden comprovar si hi ha estructures susceptibles a danys per descàrregues electroestàtiques (ESD).

Referències

  1. ↑ A. Kahng, et al.: VLSI Physical Design: From Graph Partitioning to Timing Closure, ISBN 978-90-481-9590-9, doi:10.1007/978-90-481-9591-6, p. 10.
  2. ↑ «Physical Verification» (en anglès). https://semiengineering.com.+[Consulta: 12 novembre 2022].
  3. ↑ A. Kahng, et al.: VLSI Physical Design: From Graph Partitioning to Timing Closure, ISBN 978-90-481-9590-9, doi:10.1007/978-90-481-9591-6, p. 10.
  4. ↑ A. Kahng, et al.: VLSI Physical Design: From Graph Partitioning to Timing Closure, ISBN 978-90-481-9590-9, doi:10.1007/978-90-481-9591-6, p. 10.
  5. ↑ «IC physical verification and design optimization» (en anglès). https://eda.sw.siemens.com.+[Consulta: 12 novembre 2022].
  6. ↑ 6,0 6,1 A. Kahng, et al.: VLSI Physical Design: From Graph Partitioning to Timing Closure, ISBN 978-90-481-9590-9, doi:10.1007/978-90-481-9591-6, p. 10.
  7. ↑ EETimes. «Antenna effect (PID): Do the design rules really protect us?» (en anglès). https://www.eetimes.com,+23-05-2003.+[Consulta: 12 novembre 2022].
  8. ↑ A. Kahng, et al.: VLSI Physical Design: From Graph Partitioning to Timing Closure, ISBN 978-90-481-9590-9, doi:10.1007/978-90-481-9591-6, p. 10.

Read other articles:

Pangaea Proxima

Perkiraan kasar Pangea Proxima menurut model awal di situs Proyek Paleomap Pangaea Proxima (juga disebut sebagai Pangaea Ultima, Neopangaea, dan Pangaea II) adalah kemungkinan konfigurasi benua raksasa masa depan dan alternatif dari superbenua Amasia. Sesuai dengan siklus benua raksasa, Pangaea Ultima akan terbentuk pada 256 juta tahun yang akan datang. Bentuk dari benua ini akan seperti telur karena benua ini memiliki danau raksasa ditengahnya, yang merupakan sisa tabrakan benua Amerika, Aus...

 

Commodity Futures Modernization Act of 2000

United States federal legislation This article possibly contains original research. Please improve it by verifying the claims made and adding inline citations. Statements consisting only of original research should be removed. (May 2013) (Learn how and when to remove this template message) Commodity Futures Modernization Act of 2000Acronyms (colloquial)CFMAEffectiveDecember 21, 2000Legislative historySigned into law by President Bill Clinton on December 21, 2000 The Commodity Futures Moderniz...

 

Kitab Yoël

Untuk tokoh Alkitab yang menjadi nama dari kitab ini, lihat Yoël. Untuk kegunaan lain, lihat Yoel (disambiguasi). Bagian dari Alkitab KristenPerjanjian LamaYosua 1:1 pada Kodeks Aleppo Taurat Kejadian Keluaran Imamat Bilangan Ulangan Sejarah Yosua Hakim-hakim Rut 1 Samuel 2 Samuel 1 Raja-raja 2 Raja-raja 1 Tawarikh 2 Tawarikh Ezra Nehemia Ester Puisi Ayub Mazmur Amsal Pengkhotbah Kidung Agung Kenabian Besar Yesaya Yeremia Ratapan Yehezkiel Daniel Kecil Hosea Yoël Amos Obaja Yunus Mikha Nahu...

Hotel De Anza

United States historic placeDe Anza HotelU.S. National Register of Historic Places Location233 West Santa Clara Street,San Jose, CaliforniaCoordinates37°20′3.55″N 121°53′42.06″W / 37.3343194°N 121.8950167°W / 37.3343194; -121.8950167Built1931ArchitectWilliam H. WeeksArchitectural styleArt Deco, Mission/Spanish RevivalNRHP reference No.82002266 [1]Added to NRHPJanuary 21, 1982 The Hotel De Anza is a historic hotel in San Jose, Californ...

 

Madison County, Texas

County in Texas, United States County in TexasMadison CountyCountyThe Madison County Courthouse in MadisonvilleLocation within the U.S. state of TexasTexas's location within the U.S.Coordinates: 30°58′N 95°56′W / 30.97°N 95.93°W / 30.97; -95.93Country United StatesState TexasFounded1854Named forJames MadisonSeatMadisonvilleLargest cityMadisonvilleArea • Total472 sq mi (1,220 km2) • Land466 sq mi (1,210&...

 

McKinlay, Queensland

Town in Queensland, AustraliaMcKinlayQueenslandThe Landsborough Highway through McKinlay in 1962McKinlayCoordinates21°16′17″S 141°17′25″E / 21.2713°S 141.2902°E / -21.2713; 141.2902 (McKinlay (town centre))Population178 (2016 census)[1] • Density0.02014/km2 (0.05217/sq mi)Established1888Postcode(s)4823Elevation170 m (558 ft)Area8,837.5 km2 (3,412.2 sq mi)Time zoneAEST (UTC+10:00)Location 101 km...

Thomas Massie

American businessman and politician (born 1971) For other people named Thomas Massie, see Thomas Massie (disambiguation). Thomas MassieMember of the U.S. House of Representativesfrom Kentucky's 4th districtIncumbentAssumed office November 13, 2012Preceded byGeoff DavisJudge-Executive of Lewis CountyIn officeJanuary 3, 2011 – June 30, 2012Preceded bySteve ApplegateSucceeded byJohn Collins Personal detailsBornThomas Harold Massie (1971-01-13) January 13, 1971 (age...

 

Человек прямоходящий

† Человек прямоходящий Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:Синапсиды�...

 

Pemberontakan Makabe

Pemberontakan MakabeYudea di bawah kepemimpinan Yudas Makabe saat pemberontakanTanggal167–160 SMLokasiYudeaHasil Kedaulatan Yudea, kemudian berkembang menjadi Dinasti HashmonayimPihak terlibat Kaum Makabe Kekaisaran SeleukidTokoh dan pemimpin MatatiasYudas Makabe  (KIA)Yonatan ApfusEleazar Avaran  (KIA)Simon TasiYohanes Gadi  (KIA) Antiokhus IV EpifanesAntiokhus V EupatorDemetrius I SoterLisiasGorgiasNikanor  (KIA)BakkhidesPasukan Para pemberontak Makabe/Yudea Pasukan Se...

Bahasa Arab Taiz-Aden

Bahasa Arab Taʽizzi-Adeni لهجة تعزية-عدنية Bahasa Arab Yaman Selatan Dituturkan diYaman, JibutiWilayahTaiz, AdenPenutur10,48 juta (2015-2016)[1] Rincian data penutur Jumlah penutur beserta (jika ada) metode pengambilan, jenis, tanggal, dan tempat.[2] 10.500.000 (2019, Bahasa ibu) Rumpun bahasaAfro-Asia SemitSemit TengahArabSelatanArab YamanBahasa Arab Taʽizzi-Adeni DialekBahasa Arab Taiz Bahasa Arab Aden Sistem penulisanAbjad ArabKode bahasaISO 639-3a...

 

Angkutan pedesaan

Angkutan Pedesaan di Padangbai, BaliAngkutan pedesaan (disingkat angdes) adalah angkutan dari satu tempat ke tempat lain dalam satu daerah Kabupaten. Angkutan pedesaan merupakan sarana pendukung wilayah yang penting disamping prasarana jalan, telekomunikasi, serta prasarana lainnya seperti listrik dan air. Sejarah Angkutan Desa sebagai bagian dari sistem transportasi pedesaan merupakan salah satu kebutuhan pokok masyarakat desa dan merupakan bagian yang tidak dapat dipisahkan dengan kehidupan...

 

Associazione Sportiva Lucchese Libertas 1905 2018-2019

Voce principale: Associazione Sportiva Lucchese Libertas 1905. Associazione Sportiva Lucchese Libertas 1905Stagione 2018-2019Sport calcio Squadra Lucchese Allenatore Giancarlo Favarin Presidente Carlo Bini, poi Aldo Castelli (dal 28 dicembre) Serie C19º posto. Salvo dopo aver vinto i play-out. Rinuncia all’iscrizione al successivo campionato. Coppa Italia Serie CSedicesimi di finale StadioPorta Elisa (12.800) Abbonati492 Maggior numero di spettatori4.434 vs Pisa (11 novembre 2018) Mi...

Östergötland

Pour les articles homonymes, voir Gothie. Cet article est une ébauche concernant la Suède. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Östergötland Héraldique Administration Pays Suède Région historique Götaland Plus grande ville Linköping Démographie Population 410 757 hab. (2003) Densité 41 hab./km2 Géographie Coordonnées 58° 24′ 57″ nord, 15° 37′...

 

Future (rapper)

American rapper (born 1983) FutureFuture in 2019BornNayvadius DeMun Wilburn[1] (1983-11-20) November 20, 1983 (age 40)Atlanta, Georgia, U.S.Other names Meathead[2] Future Hendrix[3] Pluto[4] EducationColumbia High SchoolOccupations Rapper singer songwriter record producer Years active2003–presentWorksDiscographyproductionChildren7RelativesRico Wade (cousin)[5]AwardsFull listMusical careerGenres Hip hop trap mumble rap[6][7&#...

 

Battle of Dornach

Battle of the Swabian War of 1499 You can help expand this article with text translated from the corresponding article in German. (April 2023) Click [show] for important translation instructions. View a machine-translated version of the German article. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must revise errors as necessary and confirm that the translation is accurate, rather than simply copy-pasting machine-transla...

Pakuniran, Maesan, Bondowoso

[1]Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: Pakuniran, Maesan, Bondowoso – berita · surat kabar · buku · cendekiawan · JSTOR PakuniranDesaNegara IndonesiaProvinsiJawa TimurKabupatenBondowosoKecamatanMaesanKode pos68262Kode Kemendag...

 

Adisham

Human settlement in EnglandAdishamHoly Innocents Church, AdishamAdishamLocation within KentArea11.82 km2 (4.56 sq mi)Population645 (Civil Parish 2011)[1]• Density55/km2 (140/sq mi)OS grid referenceTR226540Civil parishAdishamDistrictCity of CanterburyShire countyKentRegionSouth EastCountryEnglandSovereign stateUnited KingdomPost townCANTERBURYPostcode districtCT3Dialling code01304PoliceKentFireKentAmbulanceSouth East Coast ...

 

Arizona Historical Society

Non-profit organization Arizona Historical SocietyAHS Logo (alchemist's symbol for copper)FoundedNovember 7, 1864FounderArizona territorial legislatureTypenon-profitPurposeConnecting people through the power of Arizona's historyWebsitearizonahistoricalsociety.org The Arizona Historical Society (AHS) is a non-profit organization whose mission is to connect people through the power of Arizona's history. It does this through four regional divisions. Each division has a representative museum. The...

Tunnel of Eupalinos

Tunnel of EupalinosInside one of the most spacious parts of the Eupalinian aqueduct.OverviewLocationSamos Island, GreeceCoordinates37°41′38″N 26°55′48″E / 37.694°N 26.930°E / 37.694; 26.930StatusOpenOperationOpenedcirca 6th century BCETechnicalDesign engineerEupalinosLength1036 mUNESCO World Heritage Site UNESCO World Heritage SitePart ofPythagoreion and Heraion of SamosCriteriaCultural: (ii)(iii)Reference595-001Inscription1992 (16th Session)Area285.9&...

 

Mitología romana

Este artículo o sección necesita referencias que aparezcan en una publicación acreditada. Busca fuentes: «Mitología romana» – noticias · libros · académico · imágenesEste aviso fue puesto el 23 de mayo de 2014. Altar consagrado en honor de Júpiter y de Juno, del Palatinado La mitología romana (en griego: Ρωμαϊκή μυθολογία, en latín: Mythologia Romana) es decir, las creencias mitológicas de los habitantes de la Antigua Roma, puede considerar...