Verifying SystemC^FL designs using the SMV model checker

K.L. Man

Verifying SystemC^FL designs using the SMV model checker

K.L. Man

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the 8th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'05, Sopron, Hungary, April 13-16, 2005)
Pages	244-247
Publication status	Published - 2005

Cite this

@inproceedings{d90f9f4e3f334a1f8177012f0591ef1c,

title = "Verifying SystemC\textasciicircum{}FL designs using the SMV model checker",

author = "K.L. Man",

year = "2005",

language = "English",

pages = "244--247",

booktitle = "Proceedings of the 8th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'05, Sopron, Hungary, April 13-16, 2005)",

}