SystemC/sup FL/: a formalism for hardware/software codesign

SystemC/sup FL/ is a formal language for hardware/software codesign. Principally, SystemC/sup FL/ is the formalization of SyslemC based on classical process algebra ACP. The language is aimed to give formal specification of SystemC designs and perform formal analysis of SystemC processes. This paper, designed for the first-time user of SystemC/sup FL/, guides the reader through modeling, analyzing and verifying designs using SystemC/sup FL/. This paper illustrates the use of SysternC/sup FL/ with two case studies taken from literature.