A
SpecC program consists of a set of behavior, channel and interface
declarations.
–Behavior: a class consisting of a set
of ports,a set of component instantiations, a set of private variables and functions, and a
public main function. Through its ports, a behavior can be connected to other
behaviors or channels to communicate.
–Channel: a class that encapsulates
communication. It consists of a set of variables and functions, called methods, which
defines a communication protocol.
–Interface: an interface represents a
flexible link between behaviors and channels.