SystemC^FL : formal specification and analysis of hardware/software co-designs

Research output: Contribution to journal › Article › Academic › peer-review

1 Downloads (Pure)

Original language	English
Pages (from-to)	361-368
Journal	WSEAS Transactions on Circuits and Systems
Volume	5
Issue number	3
Publication status	Published - 2006

Cite this

@article{b87e7c279ebc463ca6f708d7a1cd6fd8,

title = "SystemC\textasciicircum{}FL : formal specification and analysis of hardware/software co-designs",

author = "K.L. Man",

year = "2006",

language = "English",

volume = "5",

pages = "361--368",

journal = "WSEAS Transactions on Circuits and Systems",

issn = "1109-2734",

publisher = "World Scientific and Engineering Academy and Society",

number = "3",

}