Skip to main content
eScholarship
Open Access Publications from the University of California

The SpecC+ language

Abstract

In this report, we discuss the characteristics necessary for specifying embedded hardware-software systems. We describe the constructs needed to capture these characteristics and propose a new C based specification language to describe heterogeneous embedded systems.

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View