Theorem provers in circuit design: theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1995
|
| Schriftenreihe: | Lecture notes in computer science
901 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 303 S. graph. Darst. |
| ISBN: | 3540590471 0387590471 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010029017 | ||
| 003 | DE-604 | ||
| 005 | 19951010 | ||
| 007 | t | ||
| 008 | 950130s1995 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 943339251 |2 DE-101 | |
| 020 | |a 3540590471 |9 3-540-59047-1 | ||
| 020 | |a 0387590471 |9 0-387-59047-1 | ||
| 035 | |a (OCoLC)32049817 | ||
| 035 | |a (DE-599)BVBBV010029017 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-19 |a DE-20 |a DE-634 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a TK7874.65.T54 1995 | |
| 082 | 0 | |a 621.39/2 |2 20 | |
| 082 | 0 | |a 621.39/2 20 | |
| 084 | |a SS 1994 |0 (DE-625)143431: |2 rvk | ||
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a ST 190 |0 (DE-625)143607: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 084 | |a DAT 195f |2 stub | ||
| 084 | |a 37 |2 sdnb | ||
| 245 | 1 | 0 | |a Theorem provers in circuit design |b theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings |c Ramayya Kumar ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1995 | |
| 300 | |a VIII, 303 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 901 | |
| 650 | 4 | |a Circuits intégrés numériques - Conception et construction - Informatique - Congrès | |
| 650 | 7 | |a Circuits intégrés numériques - Conception et construction - Informatique - Congrès |2 ram | |
| 650 | 4 | |a Conception assistée par ordinateur - Congrès | |
| 650 | 7 | |a Conception assistée par ordinateur - Congrès |2 ram | |
| 650 | 7 | |a Micro-elektronica |2 gtt | |
| 650 | 4 | |a Théorèmes - Démonstration automatique - Congrès | |
| 650 | 7 | |a Théorèmes - Démonstration automatique - Congrès |2 ram | |
| 650 | 7 | |a conception circuit |2 inriac | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a vérification formelle |2 inriac | |
| 650 | 4 | |a Digital integrated circuits -- Computer-aided design -- Congresses | |
| 650 | 4 | |a Automatic theorem proving -- Congresses | |
| 650 | 0 | 7 | |a Logische Schaltung |0 (DE-588)4131023-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |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 1994 |z Herrenalb |2 gnd-content | |
| 689 | 0 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | 1 | |a Logische Schaltung |0 (DE-588)4131023-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Entwurfsautomation |0 (DE-588)4312536-0 |D s |
| 689 | 1 | 1 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Kumar, Ramayya |e Sonstige |4 oth | |
| 711 | 2 | |a TPCD |n 2 |d 1994 |c Bad Herrenalb |j Sonstige |0 (DE-588)2140354-5 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 901 |w (DE-604)BV000000607 |9 901 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006650584&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006650584 | ||
Datensatz im Suchindex
| _version_ | 1804124410579255296 |
|---|---|
| adam_text | Contents
Benchmark-Circuiłs
for Hardware-Verification
...........................................................
,
1
Thomas
Kropf
Research
Papers
Reasoning About
Pipelines
with Structural Hazards
...................................................13
Mark Aagaard and Miriam Leeser
A Correctness Model for Pipelined Microprocessors
..................................................33
Phillip J. Windley and Michael
L
Coe
Non-Restoring Integer Square Root: A Case Study in Design by Principled
Optimization
................................................................................................................52
John O Leary, Miriam Leeser, Jason Hickey and Mark Aagaard
An Automatic Generalization Method for the Inductive Proof of Replicated
and Parallel Architectures
............................................................................................72
Laurence Pierre
A Compositional Circuit Model and Verification by Composition
.............................92
Zheng Zhu
Exploiting Structural Similarities in a BDD-Based Verification Method
..................110
CAJ.
van Eijk and G.LJ.M.
Janssen
Studies of the Single
Pulser
in Various Reasoning Systems
.....................................126
Steven D. Johnson, Paid S. Miner and Albert Camilleri
Mechanized Verification of Speed-independence
......................................................146
Michael Kishinevsky and
Jörgen Staunstrup
Automatic Correctness Proof of the Implementation of Synchronous
Sequential Circuits Using an Algebraic Approach
....................................................
Î65
Junji Kitamichi, Sumio Morioka,
Temo
Higashino and Kenichi Taniguchi
Mechanized Verification of Refinement
....................................................................185
Niels Maretti
Effective Theorem Proving for Hardware Verification
..............................................203
D. Cyrluk, S.
Rajan,
N.
Shankar and M.K.Srivas
AFormal Framework for High Level Synthesis
.......................................................223
Thomas
Kropf,
Klaus Schneider and Ramayya Kumar
Tutorial Papers
Tutorial on Design Verification with Synchronized Transitions
................................239
Niels Mellergaard and
Jörgen
Staunstrup
VIII
A Tutorial
on Using PVS for Hardware Verification
.................................................258
S. Owre, J.M. Rushby,
N.
Shankar and M.K. Srivas
Short Papers
A Reduced Instruction Set Proof Environment
.........................................................280
Holger Busch
Quantitative Evaluation of Formal Based Synthesis in ASIC Design
.......................286
G.
Bezzi,
M.
Bombana,
P. Cavalloro,
S.
Conigliam and G.
Zaza
Formal Verification of Characteristic Properties
.......................................................292
Michel
Allemand
Extending Formal Reasoning with Support for Hardware Diagrams
........................298
Kathi Fisler
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010029017 |
| callnumber-first | T - Technology |
| callnumber-label | TK7874 |
| callnumber-raw | TK7874.65.T54 1995 |
| callnumber-search | TK7874.65.T54 1995 |
| callnumber-sort | TK 47874.65 T54 41995 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_rvk | SS 1994 SS 4800 ST 190 |
| classification_tum | DAT 706f DAT 195f |
| ctrlnum | (OCoLC)32049817 (DE-599)BVBBV010029017 |
| dewey-full | 621.39/2 621.39/220 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.39/2 621.39/2 20 |
| dewey-search | 621.39/2 621.39/2 20 |
| dewey-sort | 3621.39 12 |
| 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>03268nam a2200733 cb4500</leader><controlfield tag="001">BV010029017</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951010 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950130s1995 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">943339251</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540590471</subfield><subfield code="9">3-540-59047-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387590471</subfield><subfield code="9">0-387-59047-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32049817</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010029017</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK7874.65.T54 1995</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.39/2</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.39/2 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1994</subfield><subfield code="0">(DE-625)143431:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 190</subfield><subfield code="0">(DE-625)143607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 195f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">37</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theorem provers in circuit design</subfield><subfield code="b">theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings</subfield><subfield code="c">Ramayya Kumar ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 303 S.</subfield><subfield code="b">graph. Darst.</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">901</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Circuits intégrés numériques - Conception et construction - Informatique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Circuits intégrés numériques - Conception et construction - Informatique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Conception assistée par ordinateur - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Conception assistée par ordinateur - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Micro-elektronica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Théorèmes - Démonstration automatique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Théorèmes - Démonstration automatique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">conception circuit</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">démonstration théorème</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Digital integrated circuits -- Computer-aided design -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Schaltung</subfield><subfield code="0">(DE-588)4131023-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</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">1994</subfield><subfield code="z">Herrenalb</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logische Schaltung</subfield><subfield code="0">(DE-588)4131023-8</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">Entwurfsautomation</subfield><subfield code="0">(DE-588)4312536-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kumar, Ramayya</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TPCD</subfield><subfield code="n">2</subfield><subfield code="d">1994</subfield><subfield code="c">Bad Herrenalb</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2140354-5</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">901</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">901</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=006650584&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006650584</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Herrenalb gnd-content |
| genre_facet | Konferenzschrift 1994 Herrenalb |
| id | DE-604.BV010029017 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:45:13Z |
| institution | BVB |
| institution_GND | (DE-588)2140354-5 |
| isbn | 3540590471 0387590471 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006650584 |
| oclc_num | 32049817 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-634 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-634 DE-83 DE-11 DE-188 DE-706 |
| physical | VIII, 303 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Theorem provers in circuit design theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings Ramayya Kumar ... (eds.) Berlin u.a. Springer 1995 VIII, 303 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 901 Circuits intégrés numériques - Conception et construction - Informatique - Congrès Circuits intégrés numériques - Conception et construction - Informatique - Congrès ram Conception assistée par ordinateur - Congrès Conception assistée par ordinateur - Congrès ram Micro-elektronica gtt Théorèmes - Démonstration automatique - Congrès Théorèmes - Démonstration automatique - Congrès ram conception circuit inriac démonstration théorème inriac méthode formelle inriac vérification formelle inriac Digital integrated circuits -- Computer-aided design -- Congresses Automatic theorem proving -- Congresses Logische Schaltung (DE-588)4131023-8 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Entwurfsautomation (DE-588)4312536-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Herrenalb gnd-content Automatisches Beweisverfahren (DE-588)4069034-9 s Logische Schaltung (DE-588)4131023-8 s DE-604 Entwurfsautomation (DE-588)4312536-0 s Kumar, Ramayya Sonstige oth TPCD 2 1994 Bad Herrenalb Sonstige (DE-588)2140354-5 oth Lecture notes in computer science 901 (DE-604)BV000000607 901 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006650584&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Theorem provers in circuit design theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings Lecture notes in computer science Circuits intégrés numériques - Conception et construction - Informatique - Congrès Circuits intégrés numériques - Conception et construction - Informatique - Congrès ram Conception assistée par ordinateur - Congrès Conception assistée par ordinateur - Congrès ram Micro-elektronica gtt Théorèmes - Démonstration automatique - Congrès Théorèmes - Démonstration automatique - Congrès ram conception circuit inriac démonstration théorème inriac méthode formelle inriac vérification formelle inriac Digital integrated circuits -- Computer-aided design -- Congresses Automatic theorem proving -- Congresses Logische Schaltung (DE-588)4131023-8 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Entwurfsautomation (DE-588)4312536-0 gnd |
| subject_GND | (DE-588)4131023-8 (DE-588)4069034-9 (DE-588)4312536-0 (DE-588)1071861417 |
| title | Theorem provers in circuit design theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings |
| title_auth | Theorem provers in circuit design theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings |
| title_exact_search | Theorem provers in circuit design theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings |
| title_full | Theorem provers in circuit design theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings Ramayya Kumar ... (eds.) |
| title_fullStr | Theorem provers in circuit design theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings Ramayya Kumar ... (eds.) |
| title_full_unstemmed | Theorem provers in circuit design theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings Ramayya Kumar ... (eds.) |
| title_short | Theorem provers in circuit design |
| title_sort | theorem provers in circuit design theory practice and experience second international conference tpcd 94 bad herrenalb germany september 26 28 1994 proceedings |
| title_sub | theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings |
| topic | Circuits intégrés numériques - Conception et construction - Informatique - Congrès Circuits intégrés numériques - Conception et construction - Informatique - Congrès ram Conception assistée par ordinateur - Congrès Conception assistée par ordinateur - Congrès ram Micro-elektronica gtt Théorèmes - Démonstration automatique - Congrès Théorèmes - Démonstration automatique - Congrès ram conception circuit inriac démonstration théorème inriac méthode formelle inriac vérification formelle inriac Digital integrated circuits -- Computer-aided design -- Congresses Automatic theorem proving -- Congresses Logische Schaltung (DE-588)4131023-8 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Entwurfsautomation (DE-588)4312536-0 gnd |
| topic_facet | Circuits intégrés numériques - Conception et construction - Informatique - Congrès Conception assistée par ordinateur - Congrès Micro-elektronica Théorèmes - Démonstration automatique - Congrès conception circuit démonstration théorème méthode formelle vérification formelle Digital integrated circuits -- Computer-aided design -- Congresses Automatic theorem proving -- Congresses Logische Schaltung Automatisches Beweisverfahren Entwurfsautomation Konferenzschrift 1994 Herrenalb |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006650584&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kumarramayya theoremproversincircuitdesigntheorypracticeandexperiencesecondinternationalconferencetpcd94badherrenalbgermanyseptember26281994proceedings AT tpcdbadherrenalb theoremproversincircuitdesigntheorypracticeandexperiencesecondinternationalconferencetpcd94badherrenalbgermanyseptember26281994proceedings |