-
Formal verification of digital circuits using symbolic model checkingČasar, Aleš ; Brezočnik, Zmago ; Kapus, TatjanaV članku predstavljamo učinkovite algoritme za verifikacijo digitalnih vezij. Algoritmi temeljijo na simboličnem oreverjanju modelov z logiko drevesa izvajanj ("Computational Tree Logic" - CTL). Prav ... tako predstavljamo razširitev navadnega CTL s poštenostnimi omejitvami, ki omogočajo verifikacijo vezij samo vzdolž poštenih poti v drevesu izvajanj. Algoritmi za preverjanje modelov so implementirani kot del povsem domačega programskega paketa za obdelavo opisov digitalnih vezij s končnimi avtomati, predstavljenihz logičnimi funkcijami, ki temelji na prav tako povsem domačem paketu za obdelavo logičnih funkcij, predstavljenih z binarnimi odločitvenimi grafi.Vir: Informacije MIDEM : časopis za mikroelektroniko, elektronske sestavne dele in materiale = časopis za mikroelektroniku, elektronske sastavne dijelove i materijale = journal of microelectronics, electronic components and materials. - ISSN 0352-9045 (Letn. 30, št. 3, 2000, str. 153-160)Vrsta gradiva - članek, sestavni delLeto - 2000Jezik - angleškiCOBISS.SI-ID - 5935638
Avtor
Časar, Aleš |
Brezočnik, Zmago |
Kapus, Tatjana
Teme
elektrotehnika |
računalništvo |
digitalna vezja |
binarni odločitveni grafi |
prehajalne relacije |
karakteristične funkcije |
dosegljiva stanja |
CTL logika |
poštenostne omejitve |
formalna verifikacija |
simbolično preverjanje modelov |
electrotechnics |
computer science |
digital circuits |
binary decision diagrams |
transition relations |
characteristic functions |
reachable states |
CTL logic |
fairness constraint |
symbolic model checking
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Časar, Aleš | 15672 |
Brezočnik, Zmago | 02071 |
Kapus, Tatjana | 00873 |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.