Conference paper

STRAKA Martin, KOTÁSEK Zdeněk and WINTER Jan. The Design of Hardware Checkers for Verification and Diagnostic Purposes. In: CSE'2008 International Scientific Conference on Computer Science and Engineering. High Tatras - Stará Lesná: The University of Technology Košice, 2008, pp. 320-327. ISBN 978-80-8086-092-9.
Publication language:english
Original title:The Design of Hardware Checkers for Verification and Diagnostic Purposes
Title (cs):The Design of Hardware Checkers for Verification and Diagnostic Purposes
Pages:320-327
Proceedings:CSE'2008 International Scientific Conference on Computer Science and Engineering
Conference:International Scientific Conference on Computer Science and Engineering, CSE 2008
Place:High Tatras - Stará Lesná, SK
Year:2008
ISBN:978-80-8086-092-9
Publisher:The University of Technology Košice
Files: 
+Type Name Title Size Last modified
iconcse08.pdf195 KB2008-10-08 11:58:06
^ Select all
With selected:
Keywords
on-line checker, on-line testing, verification, PSL, FPGA, FoCs, ModelSim
Annotation
In the paper, a survey of our research activities the goal of which is to develop a methodology allowing to design on-line checkers of digital components is described. First, our experiments with PSL language and FoCs tool are demonstrated. It is shown how PSL can be used to describe conditions to be checked by an on-line checker of a digital component. It is demonstrated that checkers generated from PSL description demand more sources than the unit under check which is seen as unacceptable result. The principles of our approach based on developing a formal language to describe the functions to be checked and a compiler which transforms the description into VHDL code are explained.
BibTeX:
@INPROCEEDINGS{
   author = {Martin Straka and Zden{\v{e}}k Kot{\'{a}}sek and Jan Winter},
   title = {The Design of Hardware Checkers for Verification and
	Diagnostic Purposes},
   pages = {320--327},
   booktitle = {CSE'2008 International Scientific Conference on Computer
	Science and Engineering},
   year = {2008},
   location = {High Tatras - Star{\'{a}} Lesn{\'{a}}, SK},
   publisher = {The University of Technology Ko{\v{s}}ice},
   ISBN = {978-80-8086-092-9},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8646}
}

Your IPv4 address: 54.198.159.117
Switch to IPv6 connection

DNSSEC [dnssec]