= VCI Protocol Validation Library =

The SoCLib library provides a series of modules to validate the VCI protocol used by the modules of a given system.

The library contains modules to validate CABA modules and TLM-T modules using the VCI protocol. Currently only CABA is supported.

The following documents explain how those validation modules can be used:

 * [https://www.soclib.fr/trac/dev/attachment/wiki/Tools/VCI_Validation/SOCLIB_SP6_D6_4.pdf CABA VCI Protocol Validation Library Tutorial]
 * TLM-T VCI Protocol Validation Library Tutorial (expected first semester 2009)