Integration Verification in System on Chips Using Formal Techniques
K Subir · InTech eBooks · 2009
System on Chips (SoCs) have become an all pervasive component in many of the equipments- both the common placed and the sophisticated, that are relied upon by human beings in today‘s modern societies; ranging from mobile phones, personal computers, microwave ovens, high definition televisions, base stations for cellular mobile