Czasopismo | ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA | Rocznik 2010 - zeszyt 12

Strategia weryfikacji systemu na chipie oparta na mechaniźmie FDL

ANDRZEJ PUŁKA

nr katalogowy: 56718

Proces projektowania z.o.onych, nowoczesnych elektronicznych systemow wbudowanych wymaga zastosowania wielu nowych, efektywnych technik oraz metod pozwalaj.cych na zredukowanie czasu oraz zweryfikowanie koncepcji projektowych na wczesnych etapach produkcji. Te techniki wymagaj. stosowania abstrakcyjnych modeli systemu, tzw. modeli systemowych. Od wspo.czesnego in.yniera elektronika wymaga si., aby by. sprawnym programist., ktory zna zasady pracy systemow operacyjnych na rowni ze sprz.tem. Modele z.o.onych systemow powinny by. precyzyjne czasowo i funkcjonalnie, a wi.c projektanci musz. mie. dost.p do odpowiednich, wyrafinowanych narz.dzi pozwalaj.cych zweryfikowa. jako.. projektu. Niniejsza publikacja dotyczy zagadnienia modelowania i weryfikacji z.o.onych systemow cyfrowych (SoC). W dziedzinie weryfikacji formalnej istnieje bardzo wiele metod, podej.. i narz.dzi [1.5] oraz [9], ktore nieustannie ewoluuj. wraz z rozwojem narz.dzi i standardow automatycznego projektowania [8] oraz [12]. Jak ju. wspomniano istnieje wiele technik weryfikacji formalnej, niektore opieraj. si. na metodach sztucznej inteligencji [2], inne bazuj. na metodach formalnych (Transformation- Based Verification, Temporal Logic, SAT Solvers, BDDs [6], Constraint Programming [5]), technikach modelowania (Timed Automata, assercje, PSL, ATPG, SystemVerilog [12] lub SystemC Verification Standard [8]). Pewna grupa metod korzysta z wynikow symulacji; natomiast inna grupa metod jest bli.sza klasycznej etradycyjnejf definicji problemu, tzn. stara si. w sposob formalny dowie.. (w matematycznym lub logicznym sensie), .e zaproponowana implementacja spe.nia opis wej.ciowy i ..dan. funckcjonalno... Jednak, gdy stopie. skomplikowania systemu ro.nie, musimy stosowa. kombinacje ro.nych metod [6]. Abstrakcyjne modele z.o.onych systemow W z.o.onych systemach cyfrowych, ca.kowita weryfikacja wszystkich mo.liwych stanow nie jest mo.liwa w rozs.dnym (realnym) prz[...]

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

Publikacja


e-Publikacja (format pdf) - nr 56718 "Strategia weryfikacji sys..." licencja: Osobista Produkt cyfrowy	10.00 zł

Zeszyt


ELEKTRONIKA - KONSTRUKCJE, TECHNOLOGIE, ZASTOSOWANIA - e-zeszyt (pdf) 2010-12 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

2010-12

Twój Koszyk

Publikacja

Zeszyt

Prenumerata

Zeszyt

Czasopisma