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