Correct hardware design and verification methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
2003
|
| Schriftenreihe: | Lecture notes in computer science
2860 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | XII, 426 S. |
| ISBN: | 354020363X |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV017599461 | ||
| 003 | DE-604 | ||
| 005 | 20040216 | ||
| 007 | t| | ||
| 008 | 031021s2003 xxu |||| 10||| eng d | ||
| 016 | 7 | |a 968923445 |2 DE-101 | |
| 020 | |a 354020363X |9 3-540-20363-X | ||
| 035 | |a (OCoLC)53170443 | ||
| 035 | |a (DE-599)BVBBV017599461 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-384 |a DE-91G |a DE-706 | ||
| 050 | 0 | |a TK7874.75 | |
| 082 | 0 | |a 621.39/5 |2 22 | |
| 084 | |a DAT 190f |2 stub | ||
| 245 | 1 | 0 | |a Correct hardware design and verification methods |b 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings |c Daniel Geist, Enrico Tronci, (Eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 2003 | |
| 300 | |a XII, 426 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2860 | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 7 | |a Circuit intégré à très grande échelle |2 rasuqam | |
| 650 | 7 | |a Circuit intégré |2 rasuqam | |
| 650 | 4 | |a Circuits intégrés - Vérification - Congrès | |
| 650 | 4 | |a Circuits intégrés à très grande échelle - Conception assistée par ordinateur - Congrès | |
| 650 | 7 | |a Conception assistée par ordinateur |2 rasuqam | |
| 650 | 7 | |a Hardware |2 gtt | |
| 650 | 7 | |a Model-checking (Informatique) |2 rasuqam | |
| 650 | 7 | |a Vormgeving |2 gtt | |
| 650 | 7 | |a Vérification de logiciels |2 rasuqam | |
| 650 | 4 | |a Integrated circuits |x Verification |v Congresses | |
| 650 | 4 | |a Integrated circuits |x Very large scale integration |x Computer-aided design |v Congresses | |
| 650 | 0 | 7 | |a Hardwareverifikation |0 (DE-588)4214982-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a System-on-Chip |0 (DE-588)4740357-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entwurfssprache |0 (DE-588)4295335-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hardwareentwurf |0 (DE-588)4159103-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entwurfsautomation |0 (DE-588)4312536-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2003 |z L'Aquila |2 gnd-content | |
| 689 | 0 | 0 | |a Hardwareentwurf |0 (DE-588)4159103-3 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Hardwareverifikation |0 (DE-588)4214982-4 |D s |
| 689 | 1 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a System-on-Chip |0 (DE-588)4740357-3 |D s |
| 689 | 3 | 1 | |a Entwurfsautomation |0 (DE-588)4312536-0 |D s |
| 689 | 3 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Entwurfssprache |0 (DE-588)4295335-2 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Geist, Daniel |e Sonstige |4 oth | |
| 711 | 2 | |a CHARME |n 12 |d 2003 |c L'Aquila |j Sonstige |0 (DE-588)10066679-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2860 |w (DE-604)BV000000607 |9 2860 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010588824&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010588824 | |
Datensatz im Suchindex
| _version_ | 1820874928759504896 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
TALKS
WHAT
IS
BEYOND
THE
RTL
HORIZON
FOR
MICROPROCESSOR
AND
SYSTEM
DESIGN?
.
1
WOLFGANG
ROESNER
THE
CHARM
E
OF
ABSTRACT
ENTITIES
.
2
FABIO
SOMENZI
TUTORIAL
THE
PSL/SUGAR
SPECIFICATION
LANGUAGE
A
LANGUAGE
FOR
ALL
SEASONS
.
3
DANIEL
GEIST
SOFTWARE
VERIFICATION
FINDING
REGULARITY:
DESCRIBING
AND
ANALYSING
CIRCUITS
THAT
ARE
NOT
QUITE
REGULAR
.
4
MARY
SHEERAN
PREDICATE
ABSTRACTION
WITH
MINIMUM
PREDICATES
.
19
SAGAR
CHAKI,
EDMUND
CLARKE,
ALEX
GROCE,
OFER
STRICHMAN
EFFICIENT
SYMBOLIC
MODEL
CHECKING
OF
SOFTWARE
USING
PARTIAL
DISJUNCTIVE
PARTITIONING
.
35
SHARON
BARNER,
ISHAI
RABINOVITZ
PROCESSOR
VERIFICATION
INSTANTIATING
UNINTERPRETED
FUNCTIONAL
UNITS
AND
MEMORY
SYSTEM:
FUNCTIONAL
VERIFICATION
OF
THE
VAMP
.
51
SVEN
BEYER,
CHRIS
JACOBI,
DANIEL
KRONING,
DIRK
LEINENBACH,
WOLFGANG
J.
PAUL
A
HAZARDS-BASED
CORRECTNESS
STATEMENT
FOR
PIPELINED
CIRCUITS
.
66
MARK
D.
AAGAARD
ANALYZING
THE
INTEL
ITANIUM
MEMORY
ORDERING
RULES
USING
LOGIC
PROGRAMMING
AND
SAT
.
81
YUE
YANG,
GANESH
GOPALAKRISHNAN,
GARY
LINDSTROM,
KONRAD
SLIND
X
TABLE
OF
CONTENTS
AUTOMATA
BASED
METHODS
ON
COMPLEMENTING
NONDETERMINISTIC
BIICHI
AUTOMATA
.
96
SANKAR
GURUMURTHY,
OMA
KUPFERMAN,
FABIO
SOMENZI,
MOSHE
Y.
VARDI
COVERAGE
METRICS
FOR
FORMAL
VERIFICATION
.
ILL
HANA
CHOCKIER,
OMA
KUPFERMAN,
MOSHE
Y.
VARDI
"
MORE
DETERMINISTIC
"
VS.
"
SMALLER
"
BIICHI
AUTOMATA
FOR
EFFICIENT
LTL
MODEL
CHECKING
.
126
ROBERTO
SEBASTIANI,
STEFANO
TONETTA
SHORT
PAPERS
1
AN
OPTIMIZED
SYMBOLIC
BOUNDED
MODEL
CHECKING
ENGINE
.
141
RACHEL
TZOREF,
MARK
MATUSEVICH,
ELI
BERGER,
ILAN
BEER
CONSTRAINED
SYMBOLIC
SIMULATION
WITH
MATHEMATICA
AND
ACL2
.
150
GHIATH
AL
SAMMANE,
DIANA
TOMA,
JULIEN
SCHMALTZ,
PIERRE
OSTIER,
DOMINIQUE
BORRIONE
SEMI-FORMAL
VERIFICATION
OF
MEMORY
SYSTEMS
BY
SYMBOLIC
SIMULATION
.
158
HUSAM
ABU-HAIMED,
SERGEY
BEREZIN,
DAVID
L.
DILL
CTL
MAY
BE
AMBIGUOUS
WHEN
MODEL
CHECKING
MOORE
MACHINES
.
164
CEDRIC
ROUX,
EMMANUELLE
ENCRENAZ
SPECIFICATION
METHODS
REASONING
ABOUT
GSTE
ASSERTION
GRAPHS
.
170
ALAN
J.
HU,
JEREMY
CASAS,
JIN
YANG
TOWARDS
DIAGRAMMABILITY
AND
EFFICIENCY
IN
EVENT
SEQUENCE
LANGUAGES
.
185
KATHI
FISLER
EXECUTING
THE
FORMAL
SEMANTICS
OF
THE
ACCELLERA
PROPERTY
SPECIFICATION
LANGUAGE
BY
MECHANISED
THEOREM
PROVING
.
200
MIKE
GORDON,
JOE
HURD,
KONRAD
SLIND
PROTOCOL
VERIFICATION
ON
COMBINING
SYMMETRY
REDUCTION
AND
SYMBOLIC
REPRESENTATION
FOR
EFFICIENT
MODEL
CHECKING
.
216
E.
ALLEN
EMERSON,
THOMAS
WAHL
TABLE
OF
CONTENTS
XI
ON
THE
CORRECTNESS
OF
AN
INTRUSION-TOLERANT
GROUP
COMMUNICATION
PROTOCOL
.
231
MOHAMED
LAYOUNI,
JOZEF
HOOMAN,
SOFIENE
TAHAR
EXACT
AND
EFFICIENT
VERIFICATION
OF
PARAMETERIZED
CACHE
COHERENCE
PROTOCOLS
.
247
E.
ALLEN
EMERSON,
VINEET
KAHLON
SHORT
PAPERS
2
DESIGN
AND
IMPLEMENTATION
OF
AN
ABSTRACT
INTERPRETER
FOR
VHDL
.
263
CHARLES
HYMANS
A
PROGRAMMING
LANGUAGE
BASED
ANALYSIS
OF
OPERAND
FORWARDING
.
270
LENNART
BERINGER
INTEGRATING
RAM
AND
DISK
BASED
VERIFICATION
WITHIN
THE
MURTP
VERIFIER
.
277
GIUSEPPE
DELLA
PENNA,
BENEDETTO
INTRIGILA,
IGOR
MELATTI,
ENRICO
TROND,
MARISA
VENTURINI
ZILLI
DESIGN
AND
VERIFICATION
OF
CORECONNECTTM
IP
USING
ESTEREL
.
283
SATNAM
SINGH
THEOREM
PROVING
INDUCTIVE
ASSERTIONS
AND
OPERATIONAL
SEMANTICS
.
289
J
STROTHER
MOORE
A
COMPOSITIONAL
THEORY
OF
REFINEMENT
FOR
BRANCHING
TIME
.
304
PANAGIOTIS
MANOLIOS
LINEAR
AND
NONLINEAR
ARITHMETIC
IN
ACL2
.
319
WARREN
A.
HUNT,
JR.,
ROBERT
BELLARMINE
KRUG,
J
MOORE
BOUNDED
MODEL
CHECKING
EFFICIENT
DISTRIBUTED
SAT
AND
SAT-BASED
DISTRIBUTED
BOUNDED
MODEL
CHECKING
.
334
MALAY
K
GANAI,
AARTI
GUPTA,
ZIJIANG
YANG,
PRANAV
ASHAR
CONVERGENCE
TESTING
IN
TERM-LEVEL
BOUNDED
MODEL
CHECKING
.
348
RANDAL
E.
BRYANT,
SHUVENDU
K.
LAHIRI,
SANJIT
A.
SESHIA
THE
ROBDD
SIZE
OF
SIMPLE
CNF
FORMULAS
.
363
MICHAEL
LANGBERG,
AMIR
PNUELI,
YOAV
RODEH
XII
TABLE
OF
CONTENTS
MODEL
CHECKING
AND
APPLICATION
EFFICIENT
HYBRID
REACHABILITY
ANALYSIS
FOR
ASYNCHRONOUS
CONCURRENT
SYSTEMS
.
378
ENRIC
PASTOR,
MARCO
A.
PENA
FINITE
HORIZON
ANALYSIS
OF
MARKOV
CHAINS
WITH
THE
MUR
VERIFIER
.
394
GIUSEPPE
DELLA
PENNA,
BENEDETTO
INTRIGILA,
IGOR
MELATTI,
ENRICO
TROND,
MARISA
VENTURINI
ZILLI
IMPROVED
SYMBOLIC
VERIFICATION
USING
PARTITIONING
TECHNIQUES
.
410
SUBRAMANIAN
IYER,
DEBASHIS
SAHOO,
CHRISTIAN
STANGIER,
AMIT
NARAYAN,
JAWAHAR
JAIN
AUTHOR
INDEX
.
425 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV017599461 |
| callnumber-first | T - Technology |
| callnumber-label | TK7874 |
| callnumber-raw | TK7874.75 |
| callnumber-search | TK7874.75 |
| callnumber-sort | TK 47874.75 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_rvk | SS 4800 |
| classification_tum | DAT 190f |
| ctrlnum | (OCoLC)53170443 (DE-599)BVBBV017599461 |
| dewey-full | 621.39/5 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.39/5 |
| dewey-search | 621.39/5 |
| dewey-sort | 3621.39 15 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Elektrotechnik / Elektronik / Nachrichtentechnik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV017599461</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040216</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">031021s2003 xxu |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">968923445</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354020363X</subfield><subfield code="9">3-540-20363-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)53170443</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017599461</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK7874.75</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.39/5</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 190f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Correct hardware design and verification methods</subfield><subfield code="b">12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings</subfield><subfield code="c">Daniel Geist, Enrico Tronci, (Eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 426 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2860</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Circuit intégré à très grande échelle</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Circuit intégré</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Circuits intégrés - Vérification - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Circuits intégrés à très grande échelle - Conception assistée par ordinateur - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Conception assistée par ordinateur</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Hardware</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Model-checking (Informatique)</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Vormgeving</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Vérification de logiciels</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Integrated circuits</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Integrated circuits</subfield><subfield code="x">Very large scale integration</subfield><subfield code="x">Computer-aided design</subfield><subfield code="v">Congresses</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="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">System-on-Chip</subfield><subfield code="0">(DE-588)4740357-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwareentwurf</subfield><subfield code="0">(DE-588)4159103-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurfsautomation</subfield><subfield code="0">(DE-588)4312536-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2003</subfield><subfield code="z">L'Aquila</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Hardwareentwurf</subfield><subfield code="0">(DE-588)4159103-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">System-on-Chip</subfield><subfield code="0">(DE-588)4740357-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Entwurfsautomation</subfield><subfield code="0">(DE-588)4312536-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Geist, Daniel</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CHARME</subfield><subfield code="n">12</subfield><subfield code="d">2003</subfield><subfield code="c">L'Aquila</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10066679-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2860</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2860</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=010588824&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010588824</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2003 L'Aquila gnd-content |
| genre_facet | Konferenzschrift 2003 L'Aquila |
| id | DE-604.BV017599461 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:07:32Z |
| institution | BVB |
| institution_GND | (DE-588)10066679-6 |
| isbn | 354020363X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010588824 |
| oclc_num | 53170443 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-706 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-706 |
| physical | XII, 426 S. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Correct hardware design and verification methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings Daniel Geist, Enrico Tronci, (Eds.) Berlin u.a. Springer 2003 XII, 426 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2860 Includes bibliographical references and index Circuit intégré à très grande échelle rasuqam Circuit intégré rasuqam Circuits intégrés - Vérification - Congrès Circuits intégrés à très grande échelle - Conception assistée par ordinateur - Congrès Conception assistée par ordinateur rasuqam Hardware gtt Model-checking (Informatique) rasuqam Vormgeving gtt Vérification de logiciels rasuqam Integrated circuits Verification Congresses Integrated circuits Very large scale integration Computer-aided design Congresses Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf System-on-Chip (DE-588)4740357-3 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Entwurfssprache (DE-588)4295335-2 gnd rswk-swf Hardwareentwurf (DE-588)4159103-3 gnd rswk-swf Entwurfsautomation (DE-588)4312536-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2003 L'Aquila gnd-content Hardwareentwurf (DE-588)4159103-3 s Formale Methode (DE-588)4333722-3 s DE-604 Hardwareverifikation (DE-588)4214982-4 s Model Checking (DE-588)4434799-6 s System-on-Chip (DE-588)4740357-3 s Entwurfsautomation (DE-588)4312536-0 s Entwurfssprache (DE-588)4295335-2 s Geist, Daniel Sonstige oth CHARME 12 2003 L'Aquila Sonstige (DE-588)10066679-6 oth Lecture notes in computer science 2860 (DE-604)BV000000607 2860 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010588824&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Correct hardware design and verification methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings Lecture notes in computer science Circuit intégré à très grande échelle rasuqam Circuit intégré rasuqam Circuits intégrés - Vérification - Congrès Circuits intégrés à très grande échelle - Conception assistée par ordinateur - Congrès Conception assistée par ordinateur rasuqam Hardware gtt Model-checking (Informatique) rasuqam Vormgeving gtt Vérification de logiciels rasuqam Integrated circuits Verification Congresses Integrated circuits Very large scale integration Computer-aided design Congresses Hardwareverifikation (DE-588)4214982-4 gnd Formale Methode (DE-588)4333722-3 gnd System-on-Chip (DE-588)4740357-3 gnd Model Checking (DE-588)4434799-6 gnd Entwurfssprache (DE-588)4295335-2 gnd Hardwareentwurf (DE-588)4159103-3 gnd Entwurfsautomation (DE-588)4312536-0 gnd |
| subject_GND | (DE-588)4214982-4 (DE-588)4333722-3 (DE-588)4740357-3 (DE-588)4434799-6 (DE-588)4295335-2 (DE-588)4159103-3 (DE-588)4312536-0 (DE-588)1071861417 |
| title | Correct hardware design and verification methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings |
| title_auth | Correct hardware design and verification methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings |
| title_exact_search | Correct hardware design and verification methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings |
| title_full | Correct hardware design and verification methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings Daniel Geist, Enrico Tronci, (Eds.) |
| title_fullStr | Correct hardware design and verification methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings Daniel Geist, Enrico Tronci, (Eds.) |
| title_full_unstemmed | Correct hardware design and verification methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings Daniel Geist, Enrico Tronci, (Eds.) |
| title_short | Correct hardware design and verification methods |
| title_sort | correct hardware design and verification methods 12th ifip wg 10 5 advanced research working conference charme 2003 l aquila italy october 21 24 2003 proceedings |
| title_sub | 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings |
| topic | Circuit intégré à très grande échelle rasuqam Circuit intégré rasuqam Circuits intégrés - Vérification - Congrès Circuits intégrés à très grande échelle - Conception assistée par ordinateur - Congrès Conception assistée par ordinateur rasuqam Hardware gtt Model-checking (Informatique) rasuqam Vormgeving gtt Vérification de logiciels rasuqam Integrated circuits Verification Congresses Integrated circuits Very large scale integration Computer-aided design Congresses Hardwareverifikation (DE-588)4214982-4 gnd Formale Methode (DE-588)4333722-3 gnd System-on-Chip (DE-588)4740357-3 gnd Model Checking (DE-588)4434799-6 gnd Entwurfssprache (DE-588)4295335-2 gnd Hardwareentwurf (DE-588)4159103-3 gnd Entwurfsautomation (DE-588)4312536-0 gnd |
| topic_facet | Circuit intégré à très grande échelle Circuit intégré Circuits intégrés - Vérification - Congrès Circuits intégrés à très grande échelle - Conception assistée par ordinateur - Congrès Conception assistée par ordinateur Hardware Model-checking (Informatique) Vormgeving Vérification de logiciels Integrated circuits Verification Congresses Integrated circuits Very large scale integration Computer-aided design Congresses Hardwareverifikation Formale Methode System-on-Chip Model Checking Entwurfssprache Hardwareentwurf Entwurfsautomation Konferenzschrift 2003 L'Aquila |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010588824&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT geistdaniel correcthardwaredesignandverificationmethods12thifipwg105advancedresearchworkingconferencecharme2003laquilaitalyoctober21242003proceedings AT charmelaquila correcthardwaredesignandverificationmethods12thifipwg105advancedresearchworkingconferencecharme2003laquilaitalyoctober21242003proceedings |