Czasopismo | ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA | Rocznik 2013 - zeszyt 8

Automatyczna weryfikacja formalna układu elektronicznego w oparciu o schemat ideowy

nr katalogowy: 78834

Układy elektroniczne stają się coraz bardziej skomplikowane i - jak dobrze wiadomo - czas, jaki należy poświęcić na testowanie oraz ewentualne działania korekcyjne, wzrasta wykładniczo w funkcji złożoności układu i etapu procesu projektowego, na którym ów błąd wykryto [1]. W związku z tym weryfikacja dokumentacji projektowej powinna być zaczynana tak wcześnie jak to tylko możliwe. Wraz ze wzrostem szczegółowości projektowanego układu, jaki dokonuje się w kolejnych etapach procesu projektowego, weryfikację należy rozbudowywać o kolejne składniki. Podejście to umożliwia wczesną detekcję błędów projektowych, co znacząco redukuje złożoność i koszt ewentualnej korekty dokonywanej w projektowanym urządzeniu. Komputerowe narzędzia wspomagające projektowanie układów elektronicznych EDA (ang. Electronic Design Automation) umożliwiają dwa rodzaje weryfikacji formalnej: sprawdzanie reguł elektrycznych ERC (ang. Electrical Rule checking) i sprawdzanie reguł projektowych DRC (ang. Design Rule Checkig). Niestety obydwa skupiają się na dwóch dziedzinach projektowych: projektowaniu układów scalonych [2, 3] lub projektowaniu obwodów drukowanych [4, 5]. Ponadto błędy, jakie mogą być przez nie wykryte ograniczają się do trywialnych przypadków takich jak: zwarcie z masą, zwarcie z zasilaniem, niepodłączone wyprowadzenie bądź niezgodność między schematem a topologią układu scalonego lub płytki drukowanej. Brak komputerowych narzędzi umożliwiających weryfikację formalną na poziomie schematu ideowego skłonił autorów do stworzenia własnego rozwiązania. W dalszej części artykułu opisano jego główne założenia i realizację praktyczną. Weryfikacja formalna schematu ideowego W oparciu o schemat ideowy (czyli bez modeli symulacyjnych) nie można dokonać symulacji działania układu elektronicznego ale można przeanalizować jego strukturę w aspekcie przestrzegania reguł dobrego projektowania. Między innymi można sprawdzić nast.puj.ce zasady: Przyk.adowy pro[...]

Jeśli masz wykupiony/przyznany dostęp - zaloguj się. Skorzystaj z naszych propozycji zakupu!

Publikacja


e-Publikacja (format pdf) - nr 78834 "Automatyczna weryfikacja ..." licencja: Osobista Produkt cyfrowy	10.00 zł

Zeszyt


ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA - e-zeszyt (pdf) 2013-8 licencja: Osobista Produkt cyfrowy	35.00 zł

Prenumerata

ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA - prenumerata cyfrowa
licencja: Osobista

Produkt cyfrowy
Nowość

420.00 zł

ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA - papierowa prenumerata roczna + wysyłka
licencja: Osobista

Szczegóły pakietu

Nazwa
ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA - papierowa prenumerata roczna	528.00 zł brutto 488.89 zł netto 39.11 zł VAT (stawka VAT 8%)
ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA - pakowanie i wysyłka	42.00 zł brutto 34.15 zł netto 7.85 zł VAT (stawka VAT 23%)

570.00 zł

ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA - PAKIET prenumerata PLUS
licencja: Osobista

Szczegóły pakietu

Nazwa
ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA - PAKIET prenumerata PLUS (Prenumerata papierowa + dostęp do portalu sigma-not.pl + e-prenumerata)	636.00 zł brutto 588.89 zł netto 47.11 zł VAT (stawka VAT 8%)

636.00 zł

Zeszyt

2013-8

Twój Koszyk

Publikacja

Zeszyt

Prenumerata

Zeszyt

Czasopisma