LSI-Entwurfsablauf und EDA

Welches Verfahren beschreibt Eigenschaften, die der Entwurf erfüllen muss (z. B. „nach einer Anforderung innerhalb von 3 Zyklen antworten“), und lässt sie in der Simulation oder durch formale Verifikation automatisch prüfen?

  1. AStealth Dicing
  2. BAssertion-Based Verification
  3. CDummy Fill
Antwort und Erläuterung anzeigen

Antwort: B. Assertion-Based Verification

Assertions beschreiben Eigenschaften, die eine Schaltung stets erfüllen muss, oder zeitliche Beziehungen zwischen Signalen. Verstöße können in der Simulation automatisch erkannt oder per formaler Verifikation mathematisch bewiesen werden, sodass Fehler nahe ihrer Ursache früh gefunden werden. Dabei wird weniger übersehen, als wenn Ausgangsverläufe von Hand betrachtet werden. Beschrieben werden sie z. B. in SystemVerilog Assertions (SVA). Stealth Dicing und Dummy Fill sind Fertigungstechniken.

Dieses Thema üben Zur Themenseite

Weitere Fragen zu LSI-Entwurfsablauf und EDA

  1. Welches Standardformat beschreibt beim Low-Power-Entwurf die „Power Intent“ wie Versorgungsdomänen, Abschaltung der Versorgung und Pegelwandler getrennt von der Schaltungsbeschreibung?
  2. Wie heißt die Verifikation, die mit speziellen Werkzeugen prüft, ob an Übergabestellen von Signalen zwischen Schaltungen mit unterschiedlichen Takten korrekte Synchronisationsschaltungen vorhanden sind?
  3. Wie heißt das Vorgehen, kleine Korrekturen aus der Spätphase des Entwurfs oder aus der laufenden Fertigung durch teilweise Änderung des vorhandenen Layouts zu berücksichtigen, ohne den gesamten Entwurf zu wiederholen?
  4. Welche Kombination funktionsloser (oder unterstützender) Zellen ist richtig, die bei der Platzierung von Standardzellen gesetzt werden, um Lücken zwischen Zellen zu füllen, Wannenpotenziale festzulegen und Versorgungsrauschen zu unterdrücken?
  5. Wie heißt die Arbeit, bei der Verzögerung und Leistungsaufnahme von Standardzellen unter verschiedenen Bedingungen von Eingangsflankenzeit, Lastkapazität, Spannung und Temperatur per Schaltungssimulation ermittelt und in Tabellen zusammengestellt werden?

Vergleiche zu diesem Thema