The AAA Methodology and

Documentation

SynDEx v7

Direct access

User Manual:
Tutorial:
Grammar (in order to interface high level languages with SynDEx):
Reference Manual:

Download as bundle of HTML files

Executive Kernels

pic18f2680 processor Type (pic18f2680 microcontroller with CAN interface)
C processorType (generic C-monoprocessor)
U processorType (C/Unix Workstation)
TCP mediaType (TCP/IP/Unix communications)
386 processorType (i80386 processor)
RS232 mediaType (serial link)
555 processorType (MPC555 microcontroller)
CAN mediaType (CAN bus)
332 processorType (M68332 microcontroller)
196 processorType (87C196KC microcontroller)
C40 processorType (TMS320C40 DSP)
TDMB410 mediaType (4 C40 PC/ISA board)
SHARC processorType (ADSP2106x DSP)
T800 processorType (Transputer)

Downloader

SynDEx v5 Downloader Specification

Last update: 2011-12-2
For any technical question, please contact: syndex-support@inria.fr