Eintrag weiter verarbeiten

Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese

Gespeichert in:

Personen und Körperschaften: Schutti, Markus (VerfasserIn)
Titel: Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese
Hochschulschriftenvermerk: Zugl.: Linz, Univ., Diss., 1999
Format: Buch Hochschulschrift
Sprache: Unbestimmt
veröffentlicht:
Linz Universitätsverl. Trauner 1999
Gesamtaufnahme: Johannes Kepler Universität Linz: Schriften der Johannes-Kepler-Universität Linz / C ; 30
Schlagwörter:
Quelle: Verbunddaten SWB
LEADER 03081cam a22007092 4500
001 0-115244087X
003 DE-627
005 20220612101640.0
007 tu
008 991217s1999 xx ||||| m 00| ||und c
020 |a 3854870787  |9 3-85487-078-7 
035 |a (DE-627)115244087X 
035 |a (DE-576)082440875 
035 |a (DE-599)BSZ082440875 
035 |a (OCoLC)47318107 
035 |a (DE-604)8129130508 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
084 |a ST 190  |2 rvk  |0 (DE-625)rvk/143607: 
100 1 |a Schutti, Markus  |4 aut 
245 1 0 |a Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese 
264 1 |a Linz  |b Universitätsverl. Trauner  |c 1999 
300 |a VII, 242 S. 
336 |a Text  |b txt  |2 rdacontent 
337 |a ohne Hilfsmittel zu benutzen  |b n  |2 rdamedia 
338 |a Band  |b nc  |2 rdacarrier 
490 1 |a Schriften der Johannes-Kepler-Universität Linz  |a Reihe C, Technik und Naturwissenschaften  |v 30 
502 |a Zugl.: Linz, Univ., Diss., 1999 
583 1 |a Archivierung prüfen  |c 20200919  |f DE-640  |z 2  |2 pdager 
655 7 |a Hochschulschrift  |0 (DE-588)4113937-9  |0 (DE-627)105825778  |0 (DE-576)209480580  |2 gnd-content 
689 0 0 |d s  |0 (DE-588)4012295-5  |0 (DE-627)106349074  |0 (DE-576)208897798  |a Digitalschaltung  |2 gnd 
689 0 1 |d s  |0 (DE-588)4135577-5  |0 (DE-627)104649100  |0 (DE-576)209661933  |a Verifikation  |2 gnd 
689 0 2 |d s  |0 (DE-588)4348178-4  |0 (DE-627)157269779  |0 (DE-576)211494208  |a Logiksynthese  |2 gnd 
689 0 3 |d s  |0 (DE-588)4254792-1  |0 (DE-627)10449879X  |0 (DE-576)210542187  |a VHDL  |2 gnd 
689 0 |5 DE-101 
810 2 |a Johannes Kepler Universität Linz  |t Schriften der Johannes-Kepler-Universität Linz / C  |v 30  |9 30  |w (DE-627)110891408X  |w (DE-576)038914085  |7 ns 
936 r v |a ST 190  |b Schaltungskreistechnik (techn.-physik.), Integrierte Schaltung, spez. Schaltkreise, VLSI, TTL, ECL etc.  |k Informatik  |k Monografien  |k Technische Informatik  |k Schaltungskreistechnik (techn.-physik.), Integrierte Schaltung, spez. Schaltkreise, VLSI, TTL, ECL etc.  |0 (DE-627)1271487810  |0 (DE-625)rvk/143607:  |0 (DE-576)201487810 
951 |a BO 
950 |a Very High Speed Integrated Circuit Hardware Description Language 
950 |a Very High Scale Integrated Circuit Hardware Description Language 
950 |a Hardwarebeschreibungssprache 
950 |a VAL 
950 |a VHDL-AMS 
950 |a Verifizierung 
950 |a Verifizierbarkeit 
950 |a Logik 
950 |a Erkenntnis 
950 |a Wahrheit 
950 |a Верификация 
950 |a Digitale Schaltung 
950 |a Schaltung 
950 |a System-level synthesis 
950 |a High-level synthesis 
950 |a Algorithmic synthesis 
950 |a Register-transfer level synthesis 
950 |a Logic-level synthesis 
950 |a Automatische Logiksynthese 
950 |a Logischer Entwurf 
950 |a Entwurfsautomation 
950 |a Register-Transfer-Ebene 
975 |o 57 834 
852 |a DE-Zwi2  |x epn:2370614838  |z 2024-04-18T10:03:29Z 
980 |a 115244087X  |b 0  |k 115244087X  |o 082440875 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Modellbildung+und+Verifikation+von+komplexen+digitalen+Schaltungen+in+einem+Designflow+basierend+auf+VHDL+und+Synthese&rft.date=1999&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Modellbildung+und+Verifikation+von+komplexen+digitalen+Schaltungen+in+einem+Designflow+basierend+auf+VHDL+und+Synthese&rft.series=Johannes+Kepler+Universit%C3%A4t+Linz%2C+Schriften+der+Johannes-Kepler-Universit%C3%A4t+Linz+%2F+C%2C+30&rft.au=Schutti%2C+Markus&rft.pub=Universit%C3%A4tsverl.+Trauner&rft.edition=&rft.isbn=3854870787
SOLR
_version_ 1796789194291412992
author Schutti, Markus
author_facet Schutti, Markus
author_role aut
author_sort Schutti, Markus
author_variant m s ms
barcode_dezwi2 00240972
branch_dezwi2 Hauptbibliothek
callnumber_dezwi2 ZN 5630 S396, 57 834
collcode_dezwi2 Freihand
ctrlnum (DE-627)115244087X, (DE-576)082440875, (DE-599)BSZ082440875, (OCoLC)47318107, (DE-604)8129130508
facet_avail Local
facet_local_del330 Digitalschaltung, Verifikation, Logiksynthese, VHDL
finc_class_facet Informatik
finc_id_str 0002543494
fincclass_txtF_mv science-computerscience
format Book, Thesis
format_access_txtF_mv Thesis
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-print-monograph-independent-thesis
format_dezi4 e-Book
format_finc Book, E-Book, Thesis
format_legacy Book
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv Thesis
genre Hochschulschrift (DE-588)4113937-9 (DE-627)105825778 (DE-576)209480580 gnd-content
genre_facet Hochschulschrift
geogr_code not assigned
geogr_code_person not assigned
hierarchy_parent_id 0-110891408X
hierarchy_parent_title Johannes Kepler Universität Linz: Schriften der Johannes-Kepler-Universität Linz / C
hierarchy_sequence 30
hierarchy_top_id 0-110891408X
hierarchy_top_title Johannes Kepler Universität Linz: Schriften der Johannes-Kepler-Universität Linz / C
id 0-115244087X
illustrated Not Illustrated
imprint Linz, Universitätsverl. Trauner, 1999
imprint_str_mv Linz: Universitätsverl. Trauner, 1999
institution DE-Zwi2
is_hierarchy_id 0-115244087X
is_hierarchy_title Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese
isbn 3854870787
kxp_id_str 115244087X
language Undetermined
last_indexed 2024-04-19T18:35:05.004Z
local_heading_facet_dezwi2 Digitalschaltung, Verifikation, Logiksynthese, VHDL
marc_error [geogr_code]Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module @11ec833, Minor Error : Subfield tag is an invalid uppercase character, changing it to lower case. --- [ 689 : D ], Minor Error : Subfield tag is an invalid uppercase character, changing it to lower case. --- [ 689 : D ], Minor Error : Subfield tag is an invalid uppercase character, changing it to lower case. --- [ 689 : D ], Minor Error : Subfield tag is an invalid uppercase character, changing it to lower case. --- [ 689 : D ]
match_str schutti1999modellbildungundverifikationvonkomplexendigitalenschaltungenineinemdesignflowbasierendaufvhdlundsynthese
mega_collection Verbunddaten SWB
multipart_link 038914085
multipart_part (038914085)30
oclc_num 47318107
physical VII, 242 S.
publishDate 1999
publishDateSort 1999
publishPlace Linz
publisher Universitätsverl. Trauner
record_format marcfinc
record_id 082440875
recordtype marcfinc
rvk_facet ST 190
rvk_label Informatik, Monografien, Technische Informatik, Schaltungskreistechnik (techn.-physik.), Integrierte Schaltung, spez. Schaltkreise, VLSI, TTL, ECL etc.
rvk_path ST, SQ - SU, ST 190, ST 150 - ST 199
rvk_path_str_mv ST, SQ - SU, ST 190, ST 150 - ST 199
series Johannes Kepler Universität Linz, Schriften der Johannes-Kepler-Universität Linz / C, 30
series2 Schriften der Johannes-Kepler-Universität Linz ; Reihe C, Technik und Naturwissenschaften ; 30
source_id 0
spelling Schutti, Markus aut, Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese, Linz Universitätsverl. Trauner 1999, VII, 242 S., Text txt rdacontent, ohne Hilfsmittel zu benutzen n rdamedia, Band nc rdacarrier, Schriften der Johannes-Kepler-Universität Linz Reihe C, Technik und Naturwissenschaften 30, Zugl.: Linz, Univ., Diss., 1999, Archivierung prüfen 20200919 DE-640 2 pdager, Hochschulschrift (DE-588)4113937-9 (DE-627)105825778 (DE-576)209480580 gnd-content, s (DE-588)4012295-5 (DE-627)106349074 (DE-576)208897798 Digitalschaltung gnd, s (DE-588)4135577-5 (DE-627)104649100 (DE-576)209661933 Verifikation gnd, s (DE-588)4348178-4 (DE-627)157269779 (DE-576)211494208 Logiksynthese gnd, s (DE-588)4254792-1 (DE-627)10449879X (DE-576)210542187 VHDL gnd, DE-101, Johannes Kepler Universität Linz Schriften der Johannes-Kepler-Universität Linz / C 30 30 (DE-627)110891408X (DE-576)038914085 ns, DE-Zwi2 epn:2370614838 2024-04-18T10:03:29Z
spellingShingle Schutti, Markus, Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese, Johannes Kepler Universität Linz, Schriften der Johannes-Kepler-Universität Linz / C, 30, Hochschulschrift, Digitalschaltung, Verifikation, Logiksynthese, VHDL
swb_id_str 082440875
title Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese
title_auth Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese
title_full Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese
title_fullStr Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese
title_full_unstemmed Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese
title_in_hierarchy 30. Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese (1999)
title_short Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese
title_sort modellbildung und verifikation von komplexen digitalen schaltungen in einem designflow basierend auf vhdl und synthese
title_unstemmed Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese
topic Hochschulschrift, Digitalschaltung, Verifikation, Logiksynthese, VHDL
topic_facet Hochschulschrift, Digitalschaltung, Verifikation, Logiksynthese, VHDL
work_keys_str_mv AT schuttimarkus modellbildungundverifikationvonkomplexendigitalenschaltungenineinemdesignflowbasierendaufvhdlundsynthese