Title :
An efficient methodology and semi-automated flow for design and validation of complex digital signal processing ASICS macro-cells
Author :
Tambour, L. ; Zergainoh, N. ; Urard, P. ; Michel, H. ; Jerraya, A.A.
Author_Institution :
TIMA Lab., Grenoble, France
Abstract :
We present a methodology and design flow for signal processing application specific integrated circuit macro-cells. The key features of the methodology are the mastering the complexity of design, the increasing of reuse factor and the early error detection. It takes advantages of a derivative designs, a signal processing modularity, generic modeling and combines both levels of abstraction, in order to produce an efficient architecture. The flow includes a fast verification platform that drives both algorithm and architecture validation in an efficient way. We illustrate the effectiveness of the proposed methodology by a significant industrial application. Experimental design results indicate strong advantages of the proposed schemes.
Keywords :
application specific integrated circuits; digital signal processing chips; formal verification; integrated circuit design; ASICS macro-cells; application specific integrated circuit; architecture validation; complex digital signal processing; error detection; formal verification; generic modeling; semiautomated flow; signal processing modularity; Algorithm design and analysis; Application specific integrated circuits; Design methodology; Digital signal processing; Hardware; High level synthesis; Laboratories; Signal design; Signal processing algorithms; Testing;
Conference_Titel :
Rapid Systems Prototyping, 2003. Proceedings. 14th IEEE International Workshop on
Print_ISBN :
0-7695-1943-1
DOI :
10.1109/IWRSP.2003.1207030