Computer hardware description languages and their applications: proceedings of the IFIP WG 10.2 Ninth International Symposium on Computer Hardware Description Languages and Their Applications, Washington, D.C., U.S.A., 19 - 21 June, 1989
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Amsterdam u.a.
North-Holland Publ. Co.
1990
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XI, 361 S. graph. Darst. |
| ISBN: | 0444884114 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004661348 | ||
| 003 | DE-604 | ||
| 005 | 19920127 | ||
| 007 | t| | ||
| 008 | 920107s1990 xx d||| |||| 10||| eng d | ||
| 020 | |a 0444884114 |9 0-444-88411-4 | ||
| 035 | |a (OCoLC)20490619 | ||
| 035 | |a (DE-599)BVBBV004661348 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-384 |a DE-739 | ||
| 050 | 0 | |a TK7885.7 | |
| 082 | 0 | |a 621.39/2 |2 20 | |
| 084 | |a ST 150 |0 (DE-625)143594: |2 rvk | ||
| 084 | |a ST 195 |0 (DE-625)143608: |2 rvk | ||
| 084 | |a DAT 190f |2 stub | ||
| 245 | 1 | 0 | |a Computer hardware description languages and their applications |b proceedings of the IFIP WG 10.2 Ninth International Symposium on Computer Hardware Description Languages and Their Applications, Washington, D.C., U.S.A., 19 - 21 June, 1989 |c ed. by John A. Darringer ... |
| 264 | 1 | |a Amsterdam u.a. |b North-Holland Publ. Co. |c 1990 | |
| 300 | |a XI, 361 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Arquitetura De Computadores |2 larpcal | |
| 650 | 7 | |a CAO |2 inriac | |
| 650 | 4 | |a Langages de description de matériel informatique - Congrès | |
| 650 | 7 | |a Langages de description de matériel informatique - Congrès |2 ram | |
| 650 | 7 | |a VHDL |2 inriac | |
| 650 | 7 | |a langage conception |2 inriac | |
| 650 | 7 | |a langage description matériel |2 inriac | |
| 650 | 7 | |a vérification automatique |2 inriac | |
| 650 | 4 | |a Computer hardware description languages |v Congresses | |
| 650 | 0 | 7 | |a Silicon-Compiler |0 (DE-588)4209036-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hardwarebeschreibungssprache |0 (DE-588)4159102-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1989 |z Washington DC |2 gnd-content | |
| 689 | 0 | 0 | |a Silicon-Compiler |0 (DE-588)4209036-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Hardwarebeschreibungssprache |0 (DE-588)4159102-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Darringer, John A. |e Sonstige |4 oth | |
| 710 | 2 | |a International Federation for Information Processing |b Working Group Digital Systems Descriptions and Design Tools |e Sonstige |0 (DE-588)2101503-X |4 oth | |
| 711 | 2 | |a International Symposium on Computer Hardware Description Languages and Their Applications |n 9 |d 1989 |c Washington, DC |j Sonstige |0 (DE-588)5044366-5 |4 oth | |
| 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=002863478&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002863478 | |
Record in the Search Index
| _version_ | 1820868301903888384 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
PREFACE
DESIGN
LANGUAGES
1
Chair: M. Barbacci, USA
EXEL: A
Language for
Interactive
Behavioral Synthesis
З
N. D.
Dutt,
D. D.
Gajski,
USA
ODICE: Object-Oriented Hardware
Description in
CAD Environment 19
W. Müller, F. J. Rammig, FRG
Computer
Architecture Specification with Interval Temporal Logic
35
P. A. Wilsey, USA
SYNTHESIS I
47
Chair: W. Grass, FRG
Design Representation for the Synthesis of Behavioral VHDL Models
49
R. Camposano, R. M. Tabet, USA
SYS3; A CHDL-Based Systolic Synthesis System
59
R.
Hartenstein,
К.
Lemmert, FRG
Constraint Description and Extraction in RASP
71
D. Baldwin, USA
VERIFICATION I
85
Chair: E. Clarke, USA
Funcţionai
Semantics of Microprocessors at the Machine Instruction Level
87
J.-L. Paillet, France
Timing Constraints: Formalizing their Description and Verification
103
G. J. Milne, Scotland
Specification and Verification of Pipelined Hardware in HOP
117
Θ.
C. Gopalakrishnan, Canada
DESIGN SYSTEMS
133
Chair: A. Yamada, Japan
Experience with Simulation Tools in the Design Process of High Performance
135
General Purpose
Computers
К.
Ebner, FRG
Modeling Digital Systems In an Integrated Design Environment
147
L G.
Goldenzìner,
F.
R.
Wagner,
C. M.
Dal Sasso-Freitas, Brazil
Integration of a CHDL into an Engineering Environment
157
J. Miller, J. Strauss,
F. Rammig, FRG
SYNTHESIS II
167
Chair. L. Trevillyan, USA
Synthesizing Correct Sequential Circuits
169
G. M.
Brown,
M. E.
Leeser, USA
Modular Implementation of Finite State Machines Observing Topological
183
Constraints
W. Grass, M.
Mutz, FRG
Cycle Level Timing Constraints in Behavioral Hardware Descriptions
197
V. Berstis, USA
HIGH-LEVEL DESIGN
207
Chair: P. Prinetto, Italy
Functional and Operational Specifications of Computer Architectures
209
P. A. Wilsey, S. Dasgupta, USA
Knowledge-Based Assistance for the Description of Computer Architectures
225
B.
Scherf, FRG
A Derived Garbage Collector
235
C. D.
Boyer,
S. D.
Johnson, USA
VERIFICATION II
247
Chair: G. Milne,
Scotland
Design
Verification of Sequential
Machines
Based on
Е
-Free Regular
249
Temporal
Logic
H. Hiraishi, USA
Specification, Verification, and Synthesis of Control Circuits with
265
Prepositional Temporal Logic
Ы.
Fujita, H. Fujisawa, Japan
A Language for Compositional Specification and Verification of
281
Finite State Hardware Controllers
E. M. Čiarke, D. E.
Long,
K. L.
McMillan, USA
VHDL APPLICATIONS
297
Chair: D. Borrione, France
A High
Performance
VHDL Simulator with Integrated Switch and
299
Primitive Modeling
S. P. Smith, J. Larson, USA
Using VHDL as a Synthesis Language in the Honeywell VSYNTH System
315
P. Harper, S. Krolikoski,
O. Levia,
USA
Using VHDL as a Language for Synthesis of CMOS VLSI Circuits
331
S. P.
Levitán,
A. R.
Martello,
R. M.
Owens,
M. J.
Irwin, USA
BTG:
A Behavioral Test
Generator 347
M. D.
O'Neill,
D. D.
Jani,
C. H. Cho, J. R.
Armstrong, USA |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV004661348 |
| callnumber-first | T - Technology |
| callnumber-label | TK7885 |
| callnumber-raw | TK7885.7 |
| callnumber-search | TK7885.7 |
| callnumber-sort | TK 47885.7 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_rvk | ST 150 ST 195 |
| classification_tum | DAT 190f |
| ctrlnum | (OCoLC)20490619 (DE-599)BVBBV004661348 |
| dewey-full | 621.39/2 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.39/2 |
| dewey-search | 621.39/2 |
| 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>00000nam a2200000 c 4500</leader><controlfield tag="001">BV004661348</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19920127</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">920107s1990 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444884114</subfield><subfield code="9">0-444-88411-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)20490619</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004661348</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-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK7885.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.39/2</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 150</subfield><subfield code="0">(DE-625)143594:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 195</subfield><subfield code="0">(DE-625)143608:</subfield><subfield code="2">rvk</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">Computer hardware description languages and their applications</subfield><subfield code="b">proceedings of the IFIP WG 10.2 Ninth International Symposium on Computer Hardware Description Languages and Their Applications, Washington, D.C., U.S.A., 19 - 21 June, 1989</subfield><subfield code="c">ed. by John A. Darringer ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam u.a.</subfield><subfield code="b">North-Holland Publ. Co.</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 361 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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Arquitetura De Computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">CAO</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de description de matériel informatique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de description de matériel informatique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">VHDL</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage conception</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage description matériel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification automatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer hardware description languages</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Silicon-Compiler</subfield><subfield code="0">(DE-588)4209036-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwarebeschreibungssprache</subfield><subfield code="0">(DE-588)4159102-1</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">1989</subfield><subfield code="z">Washington DC</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Silicon-Compiler</subfield><subfield code="0">(DE-588)4209036-2</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">Hardwarebeschreibungssprache</subfield><subfield code="0">(DE-588)4159102-1</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">Darringer, John A.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Federation for Information Processing</subfield><subfield code="b">Working Group Digital Systems Descriptions and Design Tools</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2101503-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Symposium on Computer Hardware Description Languages and Their Applications</subfield><subfield code="n">9</subfield><subfield code="d">1989</subfield><subfield code="c">Washington, DC</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5044366-5</subfield><subfield code="4">oth</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=002863478&sequence=000002&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-002863478</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1989 Washington DC gnd-content |
| genre_facet | Konferenzschrift 1989 Washington DC |
| id | DE-604.BV004661348 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:22:12Z |
| institution | BVB |
| institution_GND | (DE-588)2101503-X (DE-588)5044366-5 |
| isbn | 0444884114 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002863478 |
| oclc_num | 20490619 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-384 DE-739 |
| owner_facet | DE-91 DE-BY-TUM DE-384 DE-739 |
| physical | XI, 361 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | North-Holland Publ. Co. |
| record_format | marc |
| spelling | Computer hardware description languages and their applications proceedings of the IFIP WG 10.2 Ninth International Symposium on Computer Hardware Description Languages and Their Applications, Washington, D.C., U.S.A., 19 - 21 June, 1989 ed. by John A. Darringer ... Amsterdam u.a. North-Holland Publ. Co. 1990 XI, 361 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Arquitetura De Computadores larpcal CAO inriac Langages de description de matériel informatique - Congrès Langages de description de matériel informatique - Congrès ram VHDL inriac langage conception inriac langage description matériel inriac vérification automatique inriac Computer hardware description languages Congresses Silicon-Compiler (DE-588)4209036-2 gnd rswk-swf Hardwarebeschreibungssprache (DE-588)4159102-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1989 Washington DC gnd-content Silicon-Compiler (DE-588)4209036-2 s DE-604 Hardwarebeschreibungssprache (DE-588)4159102-1 s Darringer, John A. Sonstige oth International Federation for Information Processing Working Group Digital Systems Descriptions and Design Tools Sonstige (DE-588)2101503-X oth International Symposium on Computer Hardware Description Languages and Their Applications 9 1989 Washington, DC Sonstige (DE-588)5044366-5 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002863478&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computer hardware description languages and their applications proceedings of the IFIP WG 10.2 Ninth International Symposium on Computer Hardware Description Languages and Their Applications, Washington, D.C., U.S.A., 19 - 21 June, 1989 Arquitetura De Computadores larpcal CAO inriac Langages de description de matériel informatique - Congrès Langages de description de matériel informatique - Congrès ram VHDL inriac langage conception inriac langage description matériel inriac vérification automatique inriac Computer hardware description languages Congresses Silicon-Compiler (DE-588)4209036-2 gnd Hardwarebeschreibungssprache (DE-588)4159102-1 gnd |
| subject_GND | (DE-588)4209036-2 (DE-588)4159102-1 (DE-588)1071861417 |
| title | Computer hardware description languages and their applications proceedings of the IFIP WG 10.2 Ninth International Symposium on Computer Hardware Description Languages and Their Applications, Washington, D.C., U.S.A., 19 - 21 June, 1989 |
| title_auth | Computer hardware description languages and their applications proceedings of the IFIP WG 10.2 Ninth International Symposium on Computer Hardware Description Languages and Their Applications, Washington, D.C., U.S.A., 19 - 21 June, 1989 |
| title_exact_search | Computer hardware description languages and their applications proceedings of the IFIP WG 10.2 Ninth International Symposium on Computer Hardware Description Languages and Their Applications, Washington, D.C., U.S.A., 19 - 21 June, 1989 |
| title_full | Computer hardware description languages and their applications proceedings of the IFIP WG 10.2 Ninth International Symposium on Computer Hardware Description Languages and Their Applications, Washington, D.C., U.S.A., 19 - 21 June, 1989 ed. by John A. Darringer ... |
| title_fullStr | Computer hardware description languages and their applications proceedings of the IFIP WG 10.2 Ninth International Symposium on Computer Hardware Description Languages and Their Applications, Washington, D.C., U.S.A., 19 - 21 June, 1989 ed. by John A. Darringer ... |
| title_full_unstemmed | Computer hardware description languages and their applications proceedings of the IFIP WG 10.2 Ninth International Symposium on Computer Hardware Description Languages and Their Applications, Washington, D.C., U.S.A., 19 - 21 June, 1989 ed. by John A. Darringer ... |
| title_short | Computer hardware description languages and their applications |
| title_sort | computer hardware description languages and their applications proceedings of the ifip wg 10 2 ninth international symposium on computer hardware description languages and their applications washington d c u s a 19 21 june 1989 |
| title_sub | proceedings of the IFIP WG 10.2 Ninth International Symposium on Computer Hardware Description Languages and Their Applications, Washington, D.C., U.S.A., 19 - 21 June, 1989 |
| topic | Arquitetura De Computadores larpcal CAO inriac Langages de description de matériel informatique - Congrès Langages de description de matériel informatique - Congrès ram VHDL inriac langage conception inriac langage description matériel inriac vérification automatique inriac Computer hardware description languages Congresses Silicon-Compiler (DE-588)4209036-2 gnd Hardwarebeschreibungssprache (DE-588)4159102-1 gnd |
| topic_facet | Arquitetura De Computadores CAO Langages de description de matériel informatique - Congrès VHDL langage conception langage description matériel vérification automatique Computer hardware description languages Congresses Silicon-Compiler Hardwarebeschreibungssprache Konferenzschrift 1989 Washington DC |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002863478&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT darringerjohna computerhardwaredescriptionlanguagesandtheirapplicationsproceedingsoftheifipwg102ninthinternationalsymposiumoncomputerhardwaredescriptionlanguagesandtheirapplicationswashingtondcusa1921june1989 AT internationalfederationforinformationprocessingworkinggroupdigitalsystemsdescriptionsanddesigntools computerhardwaredescriptionlanguagesandtheirapplicationsproceedingsoftheifipwg102ninthinternationalsymposiumoncomputerhardwaredescriptionlanguagesandtheirapplicationswashingtondcusa1921june1989 AT internationalsymposiumoncomputerhardwaredescriptionlanguagesandtheirapplicationswashingtondc computerhardwaredescriptionlanguagesandtheirapplicationsproceedingsoftheifipwg102ninthinternationalsymposiumoncomputerhardwaredescriptionlanguagesandtheirapplicationswashingtondcusa1921june1989 |