Nederlands
Menu

LSI-ontwerpflow en EDA

Welke methode beschrijft eigenschappen waaraan het ontwerp moet voldoen (bijvoorbeeld "als een verzoek komt, binnen 3 cycli antwoorden") en laat die tijdens simulatie of formele verificatie automatisch controleren?

  1. AStealth dicing
  2. BAssertion-based verificatie
  3. CDummy fill
Antwoord en toelichting tonen

Antwoord: B. Assertion-based verificatie

Een assertion beschrijft een eigenschap waaraan de schakeling altijd moet voldoen of een tijdsrelatie tussen signalen. Overtredingen kunnen tijdens simulatie automatisch worden gedetecteerd of met formele verificatie wiskundig worden bewezen, zodat fouten snel dichtbij hun oorsprong worden gevonden. Er worden minder dingen gemist dan wanneer een mens de golfvormen van uitgangen bekijkt. De beschrijving gebeurt met onder meer SystemVerilog Assertions (SVA). Stealth dicing en dummy fill zijn productietechnieken.

Dit onderwerp oefenen Naar de onderwerppagina

Meer vragen over LSI-ontwerpflow en EDA

  1. Welk standaardformaat beschrijft bij laagvermogenontwerp de "voedingsintentie" zoals voedingsdomeinen, het uitschakelen van voeding en level shifters, afzonderlijk van de schakelingsbeschrijving?
  2. Hoe heet de verificatie waarbij met een speciale tool wordt gecontroleerd of op de plaatsen waar signalen worden doorgegeven tussen schakelingen met verschillende klokken, synchronisatieschakelingen correct zijn aangebracht?
  3. Hoe heet het doorvoeren van een kleine wijziging, gevonden laat in het ontwerp of tijdens de productie, door de bestaande layout gedeeltelijk aan te passen zonder het hele ontwerp opnieuw te doen?
  4. Welke combinatie is juist voor cellen zonder (of met slechts ondersteunende) functie die bij de plaatsing van standaardcellen worden gezet om gaten tussen cellen te vullen, de well-potentiaal vast te leggen en voedingsruis te onderdrukken?
  5. Hoe heet het werk waarbij de vertraging en het vermogensverbruik van standaardcellen onder verschillende overgangstijden van de ingang, belastingcapaciteiten, spanningen en temperaturen met schakelingssimulatie worden bepaald en in tabellen worden samengevat?

Vergelijkingen bij dit onderwerp