Presents the Spec C system-level design language (SLDL) & the corresponding Spec C design methodology. This book describes the Spec C methodology that leads designers from an executable
Specification to an RTL implementation through a sequence of steps.