Formal verification of SystemC^FL specifications using model checker SPIN

K.L. Man

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the 5th WSEAS International Conference on Microelectronics, Nanoelectronics, Optoelectronics (MINO'06, Prague, Czech Republic, March 12-14, 2006)
Pages...-...
Publication statusPublished - 2006

Cite this