Title :
Functional design verification of the NS32FX16
Author :
Hanoch, Coby ; Peleg, Sharon ; Segal, Tamar
Author_Institution :
National Semiconductor Ltd., Hertzelia, Israel
Abstract :
The NS32FX16 imaging/signal processor is specifically optimized for a facsimile and modem applications. This paper gives a description of the functional design verification needs of the NS32FX16 and the FDV tool which was used and made this achievement possible
Keywords :
digital signal processing chips; facsimile equipment; formal verification; image processing equipment; modems; NS32FX16; facsimile; functional design verification; imaging/signal processor; modem; tool; Digital signal processing; Digital signal processing chips; Facsimile; Modems; Processor scheduling; Random access memory; Read-write memory; Registers; Signal processing; Silicon;
Conference_Titel :
Electrical and Electronics Engineers in Israel, 1991. Proceedings., 17th Convention of
Conference_Location :
Tel Aviv
Print_ISBN :
0-87942-678-0
DOI :
10.1109/EEIS.1991.217638