DocumentCode :
1646594
Title :
A methodology for timely verification of a complex SoC
Author :
Landau, Peretz ; Regev, Guy
Author_Institution :
Percello Ltd., Israel
fYear :
2009
Firstpage :
137
Lastpage :
140
Abstract :
This paper presents a novel and alternative methodology of logic/functional verification of a system-on-a-chip integrated-circuit. This methodology was used by our company for a successful and timely tape-out of our SoC. We will show a complete verification methodology that resulted in a fully-functional first silicon and quick time to market.
Keywords :
formal verification; logic testing; system-on-chip; complex SoC; functional verification; logic verification; system-on-a-chip integrated-circuit; 3G mobile communication; Application specific integrated circuits; Communication system control; Computer architecture; Digital signal processing; Logic; Modems; Silicon; System-on-a-chip; Time to market;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
SoC Design Conference (ISOCC), 2009 International
Conference_Location :
Busan
Print_ISBN :
978-1-4244-5034-3
Electronic_ISBN :
978-1-4244-5035-0
Type :
conf
DOI :
10.1109/SOCDC.2009.5423894
Filename :
5423894
Link To Document :
بازگشت