Verfügbarkeit: The Power of Assertions in SystemVerilog

The Power of Assertions in SystemVerilog:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Cerny, Eduard (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Berlin Springer US 2011
Ausgabe:	1. Aufl.
Schlagworte:	VERILOG Hardwareverifikation
Online-Zugang:	BTU01 FAB01 FHA01 FHI01 FHN01 FHR01 FKE01 FWS01 FWS02 Volltext
Beschreibung:	1 Online-Ressource (XX, 520 S.) Ill.
ISBN:	9781441966001
DOI:	10.1007/978-1-4419-6600-1

Internformat

MARC


LEADER	00000nmm a2200000 c 4500
001	BV036850957
003	DE-604
005	20110810
007	cr\|uuu---uuuuu
008	101203s2011 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
015			\|a 10,N15 \|2 dnb
020			\|a 9781441966001 \|c Online \|9 978-1-4419-6600-1
024	7		\|a 10.1007/978-1-4419-6600-1 \|2 doi
024	3		\|a 9781441965998
028	5	2	\|a 12573578
035			\|a (OCoLC)873713066
035			\|a (DE-599)DNB1007479973
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-634 \|a DE-92 \|a DE-Aug4 \|a DE-898 \|a DE-863 \|a DE-862 \|a DE-1043 \|a DE-859 \|a DE-573
084			\|a ZN 4904 \|0 (DE-625)157419: \|2 rvk
084			\|a 620 \|2 sdnb
100	1		\|a Cerny, Eduard \|e Verfasser \|4 aut
245	1	0	\|a The Power of Assertions in SystemVerilog \|c Eduard Cerny ...
250			\|a 1. Aufl.
264		1	\|a Berlin \|b Springer US \|c 2011
300			\|a 1 Online-Ressource (XX, 520 S.) \|b Ill.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
650	0	7	\|a VERILOG \|0 (DE-588)4268385-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Hardwareverifikation \|0 (DE-588)4214982-4 \|2 gnd \|9 rswk-swf
689	0	0	\|a Hardwareverifikation \|0 (DE-588)4214982-4 \|D s
689	0	1	\|a VERILOG \|0 (DE-588)4268385-3 \|D s
689	0		\|5 DE-604
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Hardcover \|z 978-1-441-96599-8
856	4	0	\|u https://doi.org/10.1007/978-1-4419-6600-1 \|x Verlag \|3 Volltext
912			\|a ZDB-2-ENG
999			\|a oai:aleph.bib-bvb.de:BVB01-020766925
966	e		\|u https://doi.org/10.1007/978-1-4419-6600-1 \|l BTU01 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4419-6600-1 \|l FAB01 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4419-6600-1 \|l FHA01 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4419-6600-1 \|l FHI01 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4419-6600-1 \|l FHN01 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4419-6600-1 \|l FHR01 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4419-6600-1 \|l FKE01 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4419-6600-1 \|l FWS01 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4419-6600-1 \|l FWS02 \|p ZDB-2-ENG \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-FWS_katkey	451299
_version_	1824554224596287490
any_adam_object
author	Cerny, Eduard
author_facet	Cerny, Eduard
author_role	aut
author_sort	Cerny, Eduard
author_variant	e c ec
building	Verbundindex
bvnumber	BV036850957
classification_rvk	ZN 4904
collection	ZDB-2-ENG
ctrlnum	(OCoLC)873713066 (DE-599)DNB1007479973
discipline	Maschinenbau / Maschinenwesen Elektrotechnik / Elektronik / Nachrichtentechnik
doi_str_mv	10.1007/978-1-4419-6600-1
edition	1. Aufl.
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02356nmm a2200553 c 4500</leader><controlfield tag="001">BV036850957</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110810 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">101203s2011 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N15</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781441966001</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4419-6600-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4419-6600-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9781441965998</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12573578</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)873713066</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1007479973</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZN 4904</subfield><subfield code="0">(DE-625)157419:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">620</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cerny, Eduard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The Power of Assertions in SystemVerilog</subfield><subfield code="c">Eduard Cerny ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer US</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XX, 520 S.)</subfield><subfield code="b">Ill.</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="650" ind1="0" ind2="7"><subfield code="a">VERILOG</subfield><subfield code="0">(DE-588)4268385-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">VERILOG</subfield><subfield code="0">(DE-588)4268385-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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-1-441-96599-8</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4419-6600-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020766925</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4419-6600-1</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-1-4419-6600-1</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-1-4419-6600-1</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-1-4419-6600-1</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-1-4419-6600-1</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-1-4419-6600-1</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-1-4419-6600-1</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-1-4419-6600-1</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-1-4419-6600-1</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV036850957
illustrated	Illustrated
indexdate	2025-02-20T06:48:22Z
institution	BVB
isbn	9781441966001
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020766925
oclc_num	873713066
open_access_boolean
owner	DE-634 DE-92 DE-Aug4 DE-898 DE-BY-UBR DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-1043 DE-859 DE-573
owner_facet	DE-634 DE-92 DE-Aug4 DE-898 DE-BY-UBR DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-1043 DE-859 DE-573
physical	1 Online-Ressource (XX, 520 S.) Ill.
psigel	ZDB-2-ENG
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer US
record_format	marc
spellingShingle	Cerny, Eduard The Power of Assertions in SystemVerilog VERILOG (DE-588)4268385-3 gnd Hardwareverifikation (DE-588)4214982-4 gnd
subject_GND	(DE-588)4268385-3 (DE-588)4214982-4
title	The Power of Assertions in SystemVerilog
title_auth	The Power of Assertions in SystemVerilog
title_exact_search	The Power of Assertions in SystemVerilog
title_full	The Power of Assertions in SystemVerilog Eduard Cerny ...
title_fullStr	The Power of Assertions in SystemVerilog Eduard Cerny ...
title_full_unstemmed	The Power of Assertions in SystemVerilog Eduard Cerny ...
title_short	The Power of Assertions in SystemVerilog
title_sort	the power of assertions in systemverilog
topic	VERILOG (DE-588)4268385-3 gnd Hardwareverifikation (DE-588)4214982-4 gnd
topic_facet	VERILOG Hardwareverifikation
url	https://doi.org/10.1007/978-1-4419-6600-1
work_keys_str_mv	AT cernyeduard thepowerofassertionsinsystemverilog

Verfügbarkeit

Volltext öffnen

MARC

Datensatz im Suchindex

Ähnliche Einträge