Added an example of contracted SIVIA using Ibex2.0