Creating assertion-based IP (2008)