Detail publikace

Verifying Parametrised Hardware Designs Via Counter Automata

SMRČKA Aleš a VOJNAR Tomáš. Verifying Parametrised Hardware Designs Via Counter Automata. In: Hardware and Software, Verification and Testing. Lecture Notes in Computer Science, roč. 4899. Heidelberg: Springer Verlag, 2008, s. 51-68. ISSN 0302-9743.
Název česky
Verifikace parametrických hardwarových návrhů pomocí čítačových automatů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Klíčová slova

formální verifikace, návrh počítačových systémů, čítačový atuomat, VHDL

Abstrakt

Článek prezentuje nový přítup k formální verifikaci obecných (tj. parametrických) návrhů počítačových systémů specifikovaných ve VHDL. Navrhovaný přístup je založen na překladu takových návrhů do čítačových automatů a využívá současných úspěšných výsledků v oblasti jejich automatické formální verifikace. Tento navrhovaný překlad byl také implementován a pomocí nástrojů pro verifikaci čítačových automatů jsme byli schopni ověřit některé netriviální vlastnosti parametrických komponent ve VHDL včetně jedné skutečně existující.

Rok
2008
Strany
51-68
Časopis
Lecture Notes in Computer Science, roč. 4899, ISSN 0302-9743
Sborník
Hardware and Software, Verification and Testing
Řada
Lecture Notes in Computer Science
Konference
Haifa Verification Conference 2007, IBM Haifa Labs, IL
Vydavatel
Springer Verlag
Místo
Heidelberg, DE
BibTeX 
@INPROCEEDINGS{FITPUB8526,
   author = "Ale\v{s} Smr\v{c}ka and Tom\'{a}\v{s} Vojnar",
   title = "Verifying Parametrised Hardware Designs Via Counter Automata",
   pages = "51--68",
   booktitle = "Hardware and Software, Verification and Testing",
   series = "Lecture Notes in Computer Science",
   journal = "Lecture Notes in Computer Science",
   volume = 4899,
   year = 2008,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8526"
}
Nahoru