Embedded Software for SoC - Grupo de Mecatrônica EESC/USP

Evaluation of Applying SpecC to the Integrated Design Method 141
for PPP packet. The serial communication method, baud rate, byte size and
stop bit are: asynchronous, 19200 bps, 8 bits and 1, respectively. Parity is
not used.
To evaluate point (2), we manually convert the SpecC description to the
device, the device driver and the interface according to the proposed design
method. The real-time kernel used by the converted software is a
specification kernel [6].
To evaluate point (3), we use the same method described in point (2) but
we change the partition point between the software and the hardware of the
SIO system described in SpecC.
4. SPECC DESCRIPTION
Figure 11-3 shows the transmitter part and receiver part of SIO system in
SpecC. The rounded squares represent the behaviors while the ellipses
represent the channels. The description of the behaviors and the functions of
both the receiver and the transmitter, and the channel consist of 589 lines
(17.2 kbyte).
The transmitter consists of the PPP generation behavior (tx_ppp), the byte
transmit behavior (tx_byte), the bit transmit behavior (tx_bit), the baud rate
clock generator (tx_clk), and the 16-time baud rate clock generator
(gen_clk16). These behaviors are executed parallel. The application, tx_ppp,
tx_byte and tx_byte byte are connected by channels as shown in Figure 11 -4.