IP cores design from specifications to production: modeling, verification, optimization, and protection
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham
Springer
[2016]
|
| Series: | Analog circuits and signal processing - ACSP
|
| Subjects: | |
| Online Access: | BTU01 FAB01 FAW01 FHA01 FHI01 FHN01 FHR01 FKE01 FRO01 FWS01 FWS02 GEM01 UBY01 Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (ix, 154 Seiten) Illustrationen |
| ISBN: | 9783319220352 |
| DOI: | 10.1007/978-3-319-22035-2 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043212021 | ||
| 003 | DE-604 | ||
| 005 | 20180613 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319220352 |c Online |9 978-3-319-22035-2 | ||
| 024 | 7 | |a 10.1007/978-3-319-22035-2 |2 doi | |
| 035 | |a (OCoLC)920969141 | ||
| 035 | |a (DE-599)BVBBV043212021 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1043 |a DE-Aug4 |a DE-573 |a DE-859 |a DE-863 |a DE-92 |a DE-862 |a DE-898 |a DE-634 |a DE-1046 |a DE-861 |a DE-M382 |a DE-706 | ||
| 082 | 0 | |a 621.3815 |2 23 | |
| 100 | 1 | |a Mohamed, Khaled Salah |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a IP cores design from specifications to production |b modeling, verification, optimization, and protection |c Khaled Salah Mohamed |
| 264 | 1 | |a Cham |b Springer |c [2016] | |
| 300 | |a 1 Online-Ressource (ix, 154 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Analog circuits and signal processing - ACSP | |
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Microprocessors | |
| 650 | 4 | |a Electronics | |
| 650 | 4 | |a Microelectronics | |
| 650 | 4 | |a Electronic circuits | |
| 650 | 4 | |a Circuits and Systems | |
| 650 | 4 | |a Processor Architectures | |
| 650 | 4 | |a Electronics and Microelectronics, Instrumentation | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 978-3-319-22034-5 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-22035-2 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028635159&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028635159&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028635159 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-22035-2 |l BTU01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22035-2 |l FAB01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22035-2 |l FAW01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22035-2 |l FHA01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22035-2 |l FHI01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22035-2 |l FHN01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22035-2 |l FHR01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22035-2 |l FKE01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22035-2 |l FRO01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22035-2 |l FWS01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22035-2 |l FWS02 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22035-2 |l GEM01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22035-2 |l UBY01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
Record in the Search Index
| DE-BY-FWS_katkey | 591007 |
|---|---|
| _version_ | 1824554493153378305 |
| adam_text | IP CORES DESIGN FROM SPECIFICATIONS TO PRODUCTION
/ MOHAMED, KHALED SALAH
: 2016
TABLE OF CONTENTS / INHALTSVERZEICHNIS
1. INTRODUCTION
2. IP CORES DESIGN FROM SPECIFICATIONS TO PRODUCTION: MODELING,
VERIFICATION, OPTIMIZATION, AND PROTECTION
3. ANALYZING THE TRADE-OFF BETWEEN DIFFERENT MEMORY CORES AND
CONTROLLERS
4. SOC BUSES AND PERIPHERALS: FEATURES AND ARCHITECTURES
5. VERILOG FOR IMPLEMENTATION AND VERIFICATION
6. NEW TRENDS IN SOC VERIFICATION: UVM, BUG LOCALIZATION,
SCAN-CHAIN-BASED METHODOLOGY, GA-BASED TEST GENERATION
7. CONCLUSIONS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
IP CORES DESIGN FROM SPECIFICATIONS TO PRODUCTION
/ MOHAMED, KHALED SALAH
: 2016
ABSTRACT / INHALTSTEXT
THIS BOOK DESCRIBES THE LIFE CYCLE PROCESS OF IP CORES, FROM
SPECIFICATION TO PRODUCTION, INCLUDING IP MODELING, VERIFICATION,
OPTIMIZATION, AND PROTECTION. VARIOUS TRADE-OFFS IN THE DESIGN PROCESS
ARE DISCUSSED, INCLUDING THOSE ASSOCIATED WITH MANY OF THE MOST COMMON
MEMORY CORES, CONTROLLER IPS AND SYSTEM-ON-CHIP (SOC) BUSES. READERS
WILL ALSO BENEFIT FROM THE AUTHOR’S PRACTICAL COVERAGE OF NEW
VERIFICATION METHODOLOGIES. SUCH AS BUG LOCALIZATION, UVM, AND
SCAN-CHAIN. A SOC CASE STUDY IS PRESENTED TO COMPARE TRADITIONAL
VERIFICATION WITH THE NEW VERIFICATION METHODOLOGIES.
DISCUSSES THE ENTIRE LIFE CYCLE PROCESS OF IP CORES, FROM SPECIFICATION
TO PRODUCTION, INCLUDING IP MODELING, VERIFICATION, OPTIMIZATION, AND
PROTECTION; INTRODUCE A DEEP INTRODUCTION FOR VERILOG
FOR BOTH IMPLEMENTATION AND VERIFICATION POINT OF VIEW.
DEMONSTRATES HOW TO USE IP IN APPLICATIONS SUCH AS
MEMORY CONTROLLERS AND SOC BUSES. DESCRIBES A NEW
VERIFICATION METHODOLOGY CALLED BUG LOCALIZATION;
PRESENTS A NOVEL SCAN-CHAIN METHODOLOGY FOR RTL DEBUGGING;
ENABLES READERS TO EMPLOY UVM METHODOLOGY IN
STRAIGHTFORWARD, PRACTICAL TERMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Mohamed, Khaled Salah |
| author_facet | Mohamed, Khaled Salah |
| author_role | aut |
| author_sort | Mohamed, Khaled Salah |
| author_variant | k s m ks ksm |
| building | Verbundindex |
| bvnumber | BV043212021 |
| collection | ZDB-2-ENG |
| ctrlnum | (OCoLC)920969141 (DE-599)BVBBV043212021 |
| dewey-full | 621.3815 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.3815 |
| dewey-search | 621.3815 |
| dewey-sort | 3621.3815 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Elektrotechnik / Elektronik / Nachrichtentechnik |
| doi_str_mv | 10.1007/978-3-319-22035-2 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03374nmm a2200625zc 4500</leader><controlfield tag="001">BV043212021</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180613 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319220352</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-22035-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-22035-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)920969141</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043212021</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1043</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-M382</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.3815</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mohamed, Khaled Salah</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">IP cores design from specifications to production</subfield><subfield code="b">modeling, verification, optimization, and protection</subfield><subfield code="c">Khaled Salah Mohamed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (ix, 154 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Analog circuits and signal processing - ACSP</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microprocessors</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microelectronics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic circuits</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Circuits and Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Processor Architectures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronics and Microelectronics, Instrumentation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">978-3-319-22034-5</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-22035-2</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028635159&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028635159&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENG_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028635159</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22035-2</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22035-2</subfield><subfield code="l">FAB01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22035-2</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22035-2</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22035-2</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22035-2</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22035-2</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22035-2</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22035-2</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22035-2</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22035-2</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22035-2</subfield><subfield code="l">GEM01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22035-2</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043212021 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-20T06:52:38Z |
| institution | BVB |
| isbn | 9783319220352 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028635159 |
| oclc_num | 920969141 |
| open_access_boolean | |
| owner | DE-1043 DE-Aug4 DE-573 DE-859 DE-863 DE-BY-FWS DE-92 DE-862 DE-BY-FWS DE-898 DE-BY-UBR DE-634 DE-1046 DE-861 DE-M382 DE-706 |
| owner_facet | DE-1043 DE-Aug4 DE-573 DE-859 DE-863 DE-BY-FWS DE-92 DE-862 DE-BY-FWS DE-898 DE-BY-UBR DE-634 DE-1046 DE-861 DE-M382 DE-706 |
| physical | 1 Online-Ressource (ix, 154 Seiten) Illustrationen |
| psigel | ZDB-2-ENG ZDB-2-ENG_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series2 | Analog circuits and signal processing - ACSP |
| spellingShingle | Mohamed, Khaled Salah IP cores design from specifications to production modeling, verification, optimization, and protection Engineering Microprocessors Electronics Microelectronics Electronic circuits Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation Ingenieurwissenschaften |
| title | IP cores design from specifications to production modeling, verification, optimization, and protection |
| title_auth | IP cores design from specifications to production modeling, verification, optimization, and protection |
| title_exact_search | IP cores design from specifications to production modeling, verification, optimization, and protection |
| title_full | IP cores design from specifications to production modeling, verification, optimization, and protection Khaled Salah Mohamed |
| title_fullStr | IP cores design from specifications to production modeling, verification, optimization, and protection Khaled Salah Mohamed |
| title_full_unstemmed | IP cores design from specifications to production modeling, verification, optimization, and protection Khaled Salah Mohamed |
| title_short | IP cores design from specifications to production |
| title_sort | ip cores design from specifications to production modeling verification optimization and protection |
| title_sub | modeling, verification, optimization, and protection |
| topic | Engineering Microprocessors Electronics Microelectronics Electronic circuits Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation Ingenieurwissenschaften |
| topic_facet | Engineering Microprocessors Electronics Microelectronics Electronic circuits Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation Ingenieurwissenschaften |
| url | https://doi.org/10.1007/978-3-319-22035-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028635159&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028635159&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT mohamedkhaledsalah ipcoresdesignfromspecificationstoproductionmodelingverificationoptimizationandprotection |