= 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:

* CABA VCI Protocol Validation Library Tutorial
* TLM-T VCI Protocol Validation Library Tutorial (expected first semester 2009)