Proceedings: ICCD '90 ; Hyatt Regency Cambridge, Cambridge, Massachusetts, September 17 - 19 , 1990
Gespeichert in:
Körperschaft: | |
---|---|
Format: | Tagungsbericht Buch |
Sprache: | English |
Veröffentlicht: |
Los Alamitos, Calif. u.a.
IEEE Computer Soc. Press
1990
|
Schlagworte: | |
Beschreibung: | XX, 477 S. Ill., graph. Darst. |
ISBN: | 081862079X 0818660791 0818690798 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV006598864 | ||
003 | DE-604 | ||
005 | 20091113 | ||
007 | t| | ||
008 | 930210s1990 xx ad|| |||| 10||| eng d | ||
020 | |a 081862079X |9 0-8186-2079-X | ||
020 | |a 0818660791 |9 0-8186-6079-1 | ||
020 | |a 0818690798 |9 0-8186-9079-8 | ||
035 | |a (OCoLC)22916777 | ||
035 | |a (DE-599)BVBBV006598864 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-739 |a DE-634 |a DE-83 |a DE-91 |a DE-706 | ||
050 | 0 | |a TK7888.4 | |
082 | 0 | |a 621.695 | |
084 | |a ELT 272f |2 stub | ||
111 | 2 | |a International Conference on Computer Design, VLSI in Computers and Processors |d 1990 |c Cambridge, Mass. |j Verfasser |0 (DE-588)5050491-5 |4 aut | |
245 | 1 | 0 | |a Proceedings |b ICCD '90 ; Hyatt Regency Cambridge, Cambridge, Massachusetts, September 17 - 19 , 1990 |c IEEE International Conference on Computer Design: VLSI in Computers and Processors |
264 | 1 | |a Los Alamitos, Calif. u.a. |b IEEE Computer Soc. Press |c 1990 | |
300 | |a XX, 477 S. |b Ill., graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
650 | 7 | |a 68040 |2 inriac | |
650 | 7 | |a BICMOS |2 inriac | |
650 | 7 | |a BIST |2 inriac | |
650 | 7 | |a CAO |2 inriac | |
650 | 7 | |a Circuits intégrés à très grande échelle - Congrès |2 ram | |
650 | 7 | |a Japon |2 inriag | |
650 | 7 | |a VLSI |2 inriac | |
650 | 7 | |a algorithme |2 inriac | |
650 | 7 | |a analyse performance |2 inriac | |
650 | 7 | |a autotest |2 inriac | |
650 | 7 | |a fiabilité |2 inriac | |
650 | 7 | |a interconnexion |2 inriac | |
650 | 7 | |a modélisation |2 inriac | |
650 | 7 | |a mémoire |2 inriac | |
650 | 7 | |a méthodologie |2 inriac | |
650 | 7 | |a performance système |2 inriac | |
650 | 7 | |a processeur dédié |2 inriac | |
650 | 7 | |a signal systolique |2 inriac | |
650 | 7 | |a simulation logique |2 inriac | |
650 | 7 | |a synthèse logique |2 inriac | |
650 | 7 | |a système grande vitesse |2 inriac | |
650 | 7 | |a système parallèle |2 inriac | |
650 | 7 | |a testabilité |2 inriac | |
650 | 7 | |a tolérance panne |2 inriac | |
650 | 7 | |a traitement signal |2 inriac | |
650 | 7 | |a vérification formelle |2 inriac | |
650 | 4 | |a Computer engineering |v Congresses | |
650 | 4 | |a Electronic digital computers |x Circuits |v Congresses | |
650 | 4 | |a Integrated circuits |x Very large scale integration |v Congresses | |
650 | 0 | 7 | |a Computerarchitektur |0 (DE-588)4048717-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Entwurf |0 (DE-588)4121208-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Prozessor |0 (DE-588)4176076-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a VLSI |0 (DE-588)4117388-0 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a CAD |0 (DE-588)4069794-0 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1990 |z Cambridge Mass. |2 gnd-content | |
689 | 0 | 0 | |a CAD |0 (DE-588)4069794-0 |D s |
689 | 0 | 1 | |a Computerarchitektur |0 (DE-588)4048717-9 |D s |
689 | 0 | 2 | |a VLSI |0 (DE-588)4117388-0 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Prozessor |0 (DE-588)4176076-1 |D s |
689 | 1 | 1 | |a VLSI |0 (DE-588)4117388-0 |D s |
689 | 1 | 2 | |a Entwurf |0 (DE-588)4121208-3 |D s |
689 | 1 | |8 1\p |5 DE-604 | |
710 | 2 | |a Institute of Electrical and Electronics Engineers |e Sonstige |0 (DE-588)1692-5 |4 oth | |
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-004214107 |
Datensatz im Suchindex
_version_ | 1820868155373780992 |
---|---|
adam_text | |
any_adam_object | |
author_corporate | International Conference on Computer Design, VLSI in Computers and Processors Cambridge, Mass |
author_corporate_role | aut |
author_facet | International Conference on Computer Design, VLSI in Computers and Processors Cambridge, Mass |
author_sort | International Conference on Computer Design, VLSI in Computers and Processors Cambridge, Mass |
building | Verbundindex |
bvnumber | BV006598864 |
callnumber-first | T - Technology |
callnumber-label | TK7888 |
callnumber-raw | TK7888.4 |
callnumber-search | TK7888.4 |
callnumber-sort | TK 47888.4 |
callnumber-subject | TK - Electrical and Nuclear Engineering |
classification_rvk | SS 1990 |
classification_tum | ELT 272f |
ctrlnum | (OCoLC)22916777 (DE-599)BVBBV006598864 |
dewey-full | 621.695 |
dewey-hundreds | 600 - Technology (Applied sciences) |
dewey-ones | 621 - Applied physics |
dewey-raw | 621.695 |
dewey-search | 621.695 |
dewey-sort | 3621.695 |
dewey-tens | 620 - Engineering and allied operations |
discipline | Maschinenbau / Maschinenwesen Elektrotechnik |
format | Conference Proceeding Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV006598864</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20091113</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930210s1990 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">081862079X</subfield><subfield code="9">0-8186-2079-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818660791</subfield><subfield code="9">0-8186-6079-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818690798</subfield><subfield code="9">0-8186-9079-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22916777</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006598864</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="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK7888.4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.695</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ELT 272f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Computer Design, VLSI in Computers and Processors</subfield><subfield code="d">1990</subfield><subfield code="c">Cambridge, Mass.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5050491-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="b">ICCD '90 ; Hyatt Regency Cambridge, Cambridge, Massachusetts, September 17 - 19 , 1990</subfield><subfield code="c">IEEE International Conference on Computer Design: VLSI in Computers and Processors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif. u.a.</subfield><subfield code="b">IEEE Computer Soc. Press</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 477 S.</subfield><subfield code="b">Ill., 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="650" ind1=" " ind2="7"><subfield code="a">68040</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">BICMOS</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">BIST</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">CAO</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Circuits intégrés à très grande échelle - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Japon</subfield><subfield code="2">inriag</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">VLSI</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algorithme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse performance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">autotest</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">fiabilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">interconnexion</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modélisation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">mémoire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthodologie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">performance système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">processeur dédié</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">signal systolique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">simulation logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">synthèse logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système grande vitesse</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système parallèle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">testabilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">tolérance panne</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">traitement signal</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">Computer engineering</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic digital computers</subfield><subfield code="x">Circuits</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="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerarchitektur</subfield><subfield code="0">(DE-588)4048717-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurf</subfield><subfield code="0">(DE-588)4121208-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessor</subfield><subfield code="0">(DE-588)4176076-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CAD</subfield><subfield code="0">(DE-588)4069794-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">1990</subfield><subfield code="z">Cambridge Mass.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">CAD</subfield><subfield code="0">(DE-588)4069794-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Computerarchitektur</subfield><subfield code="0">(DE-588)4048717-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</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">Prozessor</subfield><subfield code="0">(DE-588)4176076-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Entwurf</subfield><subfield code="0">(DE-588)4121208-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Institute of Electrical and Electronics Engineers</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1692-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004214107</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 1990 Cambridge Mass. gnd-content |
genre_facet | Konferenzschrift 1990 Cambridge Mass. |
id | DE-604.BV006598864 |
illustrated | Illustrated |
indexdate | 2025-01-10T13:19:53Z |
institution | BVB |
institution_GND | (DE-588)5050491-5 (DE-588)1692-5 |
isbn | 081862079X 0818660791 0818690798 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004214107 |
oclc_num | 22916777 |
open_access_boolean | |
owner | DE-739 DE-634 DE-83 DE-91 DE-BY-TUM DE-706 |
owner_facet | DE-739 DE-634 DE-83 DE-91 DE-BY-TUM DE-706 |
physical | XX, 477 S. Ill., graph. Darst. |
publishDate | 1990 |
publishDateSearch | 1990 |
publishDateSort | 1990 |
publisher | IEEE Computer Soc. Press |
record_format | marc |
spelling | International Conference on Computer Design, VLSI in Computers and Processors 1990 Cambridge, Mass. Verfasser (DE-588)5050491-5 aut Proceedings ICCD '90 ; Hyatt Regency Cambridge, Cambridge, Massachusetts, September 17 - 19 , 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors Los Alamitos, Calif. u.a. IEEE Computer Soc. Press 1990 XX, 477 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier 68040 inriac BICMOS inriac BIST inriac CAO inriac Circuits intégrés à très grande échelle - Congrès ram Japon inriag VLSI inriac algorithme inriac analyse performance inriac autotest inriac fiabilité inriac interconnexion inriac modélisation inriac mémoire inriac méthodologie inriac performance système inriac processeur dédié inriac signal systolique inriac simulation logique inriac synthèse logique inriac système grande vitesse inriac système parallèle inriac testabilité inriac tolérance panne inriac traitement signal inriac vérification formelle inriac Computer engineering Congresses Electronic digital computers Circuits Congresses Integrated circuits Very large scale integration Congresses Computerarchitektur (DE-588)4048717-9 gnd rswk-swf Entwurf (DE-588)4121208-3 gnd rswk-swf Prozessor (DE-588)4176076-1 gnd rswk-swf VLSI (DE-588)4117388-0 gnd rswk-swf CAD (DE-588)4069794-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1990 Cambridge Mass. gnd-content CAD (DE-588)4069794-0 s Computerarchitektur (DE-588)4048717-9 s VLSI (DE-588)4117388-0 s DE-604 Prozessor (DE-588)4176076-1 s Entwurf (DE-588)4121208-3 s 1\p DE-604 Institute of Electrical and Electronics Engineers Sonstige (DE-588)1692-5 oth 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Proceedings ICCD '90 ; Hyatt Regency Cambridge, Cambridge, Massachusetts, September 17 - 19 , 1990 68040 inriac BICMOS inriac BIST inriac CAO inriac Circuits intégrés à très grande échelle - Congrès ram Japon inriag VLSI inriac algorithme inriac analyse performance inriac autotest inriac fiabilité inriac interconnexion inriac modélisation inriac mémoire inriac méthodologie inriac performance système inriac processeur dédié inriac signal systolique inriac simulation logique inriac synthèse logique inriac système grande vitesse inriac système parallèle inriac testabilité inriac tolérance panne inriac traitement signal inriac vérification formelle inriac Computer engineering Congresses Electronic digital computers Circuits Congresses Integrated circuits Very large scale integration Congresses Computerarchitektur (DE-588)4048717-9 gnd Entwurf (DE-588)4121208-3 gnd Prozessor (DE-588)4176076-1 gnd VLSI (DE-588)4117388-0 gnd CAD (DE-588)4069794-0 gnd |
subject_GND | (DE-588)4048717-9 (DE-588)4121208-3 (DE-588)4176076-1 (DE-588)4117388-0 (DE-588)4069794-0 (DE-588)1071861417 |
title | Proceedings ICCD '90 ; Hyatt Regency Cambridge, Cambridge, Massachusetts, September 17 - 19 , 1990 |
title_auth | Proceedings ICCD '90 ; Hyatt Regency Cambridge, Cambridge, Massachusetts, September 17 - 19 , 1990 |
title_exact_search | Proceedings ICCD '90 ; Hyatt Regency Cambridge, Cambridge, Massachusetts, September 17 - 19 , 1990 |
title_full | Proceedings ICCD '90 ; Hyatt Regency Cambridge, Cambridge, Massachusetts, September 17 - 19 , 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors |
title_fullStr | Proceedings ICCD '90 ; Hyatt Regency Cambridge, Cambridge, Massachusetts, September 17 - 19 , 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors |
title_full_unstemmed | Proceedings ICCD '90 ; Hyatt Regency Cambridge, Cambridge, Massachusetts, September 17 - 19 , 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors |
title_short | Proceedings |
title_sort | proceedings iccd 90 hyatt regency cambridge cambridge massachusetts september 17 19 1990 |
title_sub | ICCD '90 ; Hyatt Regency Cambridge, Cambridge, Massachusetts, September 17 - 19 , 1990 |
topic | 68040 inriac BICMOS inriac BIST inriac CAO inriac Circuits intégrés à très grande échelle - Congrès ram Japon inriag VLSI inriac algorithme inriac analyse performance inriac autotest inriac fiabilité inriac interconnexion inriac modélisation inriac mémoire inriac méthodologie inriac performance système inriac processeur dédié inriac signal systolique inriac simulation logique inriac synthèse logique inriac système grande vitesse inriac système parallèle inriac testabilité inriac tolérance panne inriac traitement signal inriac vérification formelle inriac Computer engineering Congresses Electronic digital computers Circuits Congresses Integrated circuits Very large scale integration Congresses Computerarchitektur (DE-588)4048717-9 gnd Entwurf (DE-588)4121208-3 gnd Prozessor (DE-588)4176076-1 gnd VLSI (DE-588)4117388-0 gnd CAD (DE-588)4069794-0 gnd |
topic_facet | 68040 BICMOS BIST CAO Circuits intégrés à très grande échelle - Congrès Japon VLSI algorithme analyse performance autotest fiabilité interconnexion modélisation mémoire méthodologie performance système processeur dédié signal systolique simulation logique synthèse logique système grande vitesse système parallèle testabilité tolérance panne traitement signal vérification formelle Computer engineering Congresses Electronic digital computers Circuits Congresses Integrated circuits Very large scale integration Congresses Computerarchitektur Entwurf Prozessor CAD Konferenzschrift 1990 Cambridge Mass. |
work_keys_str_mv | AT internationalconferenceoncomputerdesignvlsiincomputersandprocessorscambridgemass proceedingsiccd90hyattregencycambridgecambridgemassachusettsseptember17191990 AT instituteofelectricalandelectronicsengineers proceedingsiccd90hyattregencycambridgecambridgemassachusettsseptember17191990 |