The demand for smaller and faster integrated systems has resulted in the proliferation of solutions involving system-on-chip(SOC) designs. Companies typically use SOC’s in a range of products such as consumer electronic, medical, telecommunication, computing etc. devices. Due to the nature of SOC designs, consisting of both hardware and software components, System designers adopt Electronic System Level(ESL) based design and verification methodologies using SystemC.

Companies spend considerable resources and effort to produce SOC based products. In addition, short time-to-market product cycles add pressures on these companies to have first working Silicon in record time. One of the most effective techniques companies have employed to quickly identify and fix problems in their Silicon implementation stage is the Assertion Based Verification(ABV) metodology. Unfortunately, System designers have not benefited from ABV because there hasn’t been a product to provide such capability until now.