A Modeling and Verification Platform for SoCs using ILAs - View it on GitHub