Title :
Beyond RTL: advanced digital system design
Author :
Tasker, S. ; Nikhil, R.S.
Author_Institution :
Bluespec, Inc., Waltham, MA, USA
Abstract :
Summary form only for tutorial. This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex IP blocks and high-speed buses and interconnection networks. This tutorial addresses the following emerging challenges: architectural exploration, HW/SW co-design, complex control and concurrency, correctness and verification, timing closure, and low-power. The tutorial focuses on language facilities and synthesis techniques that dramatically simplify and shorten the process of correct chip design by raising the level of abstraction on multiple dimensions without sacrificing final hardware quality.
Keywords :
formal specification; hardware-software codesign; integrated circuit design; microprocessor chips; multiprocessor interconnection networks; advanced digital system design; complex IP blocks; concurrency techniques; digital chip design; hardware software co-design; high-speed buses; interconnection networks; low-power techniques; multiple processors; timing closure;
Conference_Titel :
VLSI Design, 2006. Held jointly with 5th International Conference on Embedded Systems and Design., 19th International Conference on
Conference_Location :
Hyderabad, India
Print_ISBN :
0-7695-2502-4
DOI :
10.1109/VLSID.2006.52