Hardware-Software Coverification of Programmable SOCs

ISBN-13: 9783639166033 / Angielski / Miękka / 2009 / 100 str.

Ambarish Mukund Sule

Opis

With gate counts and system complexity growing rapidly, engineers have to find efficient ways of designing hardware integrated circuits. The advent ofhardware description languages and synthesismethodologies improved designer productivity byraising the abstraction level. However, there isstill a growing productivity gap between the numberof transistors-per-chip that can be fabricated andthe transistors-per-designer that can be effectivelydesigned and verified. Various kinds of IntellectualProperty cores are now widely available and are usedin making ICs. These Systems on a chip (SOCs)generally contain a microprocessor as one of their IPcores in order to make them flexible. It is widelyestimated that between 60%-80% of the design effortis dedicated to verification with almost half of thattime spent in construction and debugging of thesimulation environments. This book describes thebuilding of a Programmable Wireless Receiver SOCusing hardware-software coverification techniques.The CPU used is open-source, making it appropriatefor teaching SOC verification as part of a universitycurriculum. The book can be used as a guideline fordesigning CPU-based SOCs.

O autorze

Ambarish Mukund Sule received the Ph.D. degree in Computer Engineering from the North Carolina State University in 2007 and works as an ASIC Design and Verification Engineer at Qualcomm. William Rhett Davis received his Ph.D. in Electrical Engineering from UC, Berkeley in 2002 and is now an Associate Professor at North Carolina State University.