by Daniel D. Gajski, Jianwen Zhu, Rainer Dömer, Andreas Gerstlauer, Shuqing Zhao
"This book presents the Spec C system-level design language (SLDL) and the corresponding Spec C design methodology.". "The Spec C language is intended for specification and design of SOCs or embedd…