DVB-T2 field trials results for portable indoor reception in Colombia
Publisher:
Year
: 2014DOI: 10.1109/SOCC.2014.6948888
Keyword(s): formal verification,integrated circuit design,system-on-chip,RTL,SoC design,design flows,formal property checking,formal verification techniques,industrial verification methodology,large-scale industry projects,system-level models,system-on-chip design,systematic property checking methodology,verification costs
Collections
:
-
Statistics
DVB-T2 field trials results for portable indoor reception in Colombia
Show full item record
| contributor author | Contreras, Fernando A. | |
| contributor author | Pedraza, Erika | |
| contributor author | Gomez-Barquero, David | |
| date accessioned | 2020-03-12T23:46:01Z | |
| date available | 2020-03-12T23:46:01Z | |
| date issued | 2014 | |
| identifier other | 7041882.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1122547 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | DVB-T2 field trials results for portable indoor reception in Colombia | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8301862 | |
| subject keywords | formal verification | |
| subject keywords | integrated circuit design | |
| subject keywords | system-on-chip | |
| subject keywords | RTL | |
| subject keywords | SoC design | |
| subject keywords | design flows | |
| subject keywords | formal property checking | |
| subject keywords | formal verification techniques | |
| subject keywords | industrial verification methodology | |
| subject keywords | large-scale industry projects | |
| subject keywords | system-level models | |
| subject keywords | system-on-chip design | |
| subject keywords | systematic property checking methodology | |
| subject keywords | verification costs | |
| identifier doi | 10.1109/SOCC.2014.6948888 | |
| journal title | ommunications (LATINCOM), 2014 IEEE Latin-America Conference on | |
| filesize | 528646 | |
| citations | 0 |