Hardware-Software Coverification of Programmable SOCs

With gate counts and system complexity growing rapidly, engineers have to find efficient ways of designing hardware integrated circuits. The advent of hardware description languages and synthesis methodologies improved designer productivity by raising the abstraction level. However, there is still a growing productivity gap between the number of transistors-per-chip that can be fabricated and the transistors-per-designer that can be effectively designed and verified. Various kinds of Intellectual Property cores are now widely available and are used in making ICs. These Systems on a chip (SOCs) generally contain a microprocessor as one of their IP cores in order to make them flexible. It is widely estimated that between 60%-80% of the design effort is dedicated to verification with almost half of that time spent in construction and debugging of the simulation environments. This book describes the building of a Programmable Wireless Receiver SOC using hardware-software coverification techniques. The CPU used is open-source, making it appropriate for teaching SOC verification as part of a university curriculum. The book can be used as a guideline for designing CPU-based SOCs.

Autorentext

Ambarish Mukund Sule received the Ph.D. degree in ComputerEngineering from the North Carolina State University in 2007 and works as an ASIC Design and Verification Engineer atQualcomm. William Rhett Davis received his Ph.D. in ElectricalEngineering from UC, Berkeley in 2002 and is now an AssociateProfessor at North Carolina State University.