Detail publikace

An Abstraction of Multi-Port Memories with Arbitrary Addressable Units

CHARVÁT Lukáš, SMRČKA Aleš a VOJNAR Tomáš. An Abstraction of Multi-Port Memories with Arbitrary Addressable Units. In: Computer Aided Systems Theory - EUROCAST 2013. Lecture Notes in Computer Science, roč. 8111. Berlin Heidelberg: Springer Verlag, 2013, s. 460-468. ISBN 978-3-642-53855-1.
Název česky
Abstrakce víceportových pamětí s libovolnými adresovanými jednotkami
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Klíčová slova

paměť, registrové pole, automatická formální verifikace, model checking

Abstrakt

Článek popisuje přístup pro automatické generování abstraktních modelů pamětí, které mohou být využity pro efektivní verifikaci hardware. Prezentovaný přístup uvažuje možnost adresování dat o různých velikostech jako jsou např. slabiky, slova nebo dvojslova. Technika je také použitelná pro paměti s více čtecími a zápisovými porty, paměti s nulovým nebo jednotkovým zpožděním zápisu či čtení a umožňuje modelovat paměť s náhodným počátečním stavem, čímž je docíleno možnosti verifikovat daný návrh pro všechny možné počáteční konfigurace paměti. Popsaná abstrakce umožňuje modelovat rozměrná registrová pole a paměti takovým způsobem, který významně redukuje stavový prostor, jež je prohledáván v průběhu verifikace.

Rok
2013
Strany
460-468
Sborník
Computer Aided Systems Theory - EUROCAST 2013
Řada
Lecture Notes in Computer Science
Svazek
8111
Konference
Fourteenth International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, ES
ISBN
978-3-642-53855-1
Vydavatel
Springer Verlag
Místo
Berlin Heidelberg, DE
BibTeX
@INPROCEEDINGS{FITPUB10352,
   author = "Luk\'{a}\v{s} Charv\'{a}t and Ale\v{s} Smr\v{c}ka and Tom\'{a}\v{s} Vojnar",
   title = "An Abstraction of Multi-Port Memories with Arbitrary Addressable Units",
   pages = "460--468",
   booktitle = "Computer Aided Systems Theory - EUROCAST 2013",
   series = "Lecture Notes in Computer Science",
   volume = 8111,
   year = 2013,
   location = "Berlin Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-642-53855-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10352"
}
Nahoru