Computer hardware description languages and their applications: proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93 ; Ottawa, Ontario, Canada, 26 - 28 April, 1993
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | Undetermined |
| Veröffentlicht: |
Amsterdam u.a.
North-Holland
1993
|
| Schriftenreihe: | International Federation for Information Processing: [IFIP transactions / A]
32 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIV, 604 S. Ill., graph. Darst. |
| ISBN: | 0444816410 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009545085 | ||
| 003 | DE-604 | ||
| 005 | 19960508 | ||
| 007 | t| | ||
| 008 | 940421s1993 xx ad|| |||| 10||| und d | ||
| 020 | |a 0444816410 |9 0-444-81641-0 | ||
| 035 | |a (OCoLC)633473250 | ||
| 035 | |a (DE-599)BVBBV009545085 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 049 | |a DE-739 |a DE-91 | ||
| 084 | |a DAT 190f |2 stub | ||
| 245 | 1 | 0 | |a Computer hardware description languages and their applications |b proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93 ; Ottawa, Ontario, Canada, 26 - 28 April, 1993 |c ed. by David Agnew ... |
| 264 | 1 | |a Amsterdam u.a. |b North-Holland |c 1993 | |
| 300 | |a XIV, 604 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a International Federation for Information Processing: [IFIP transactions / A] |v 32 | |
| 650 | 0 | 7 | |a Hardwarebeschreibungssprache |0 (DE-588)4159102-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1993 |z Ottawa |2 gnd-content | |
| 689 | 0 | 0 | |a Hardwarebeschreibungssprache |0 (DE-588)4159102-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Agnew, David |e Sonstige |4 oth | |
| 711 | 2 | |a International Conference on Computer Hardware Description Languages and Their Applications |n 11 |d 1993 |c Ottawa |j Sonstige |0 (DE-588)5086737-4 |4 oth | |
| 810 | 2 | |a A] |t International Federation for Information Processing: [IFIP transactions |v 32 |w (DE-604)BV006188900 |9 32 | |
| 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=006305218&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006305218 | |
Datensatz im Suchindex
| _version_ | 1820868057653837824 |
|---|---|
| adam_text |
Table
of Contents
Preface
.
v
Conference Organization
.
vii
"Real Time Distributed Systems (invited presentation)
"
Mario R. Barbacci, Carnegie Mellon University
. 1
Session: BDD-based Design and Analysis Techniques
chair: Luc Claesen
. 13
"Verification of the
¥■41-4^113+
Cache Coherence Protocol"
E.M. Clarke, 0. Grumberg, H. Hiraishi, S. Jha,
D.E.
Long, K.L. McMillan, L.A. Ness
15
"Exploiting Symbolic Traversal Techniques for Efficient Process Algebra Manipulation"
P. Camurati, F.
Corno,
P. Prinetto
. 31
"Hardware- Verification using First Order BDDs
"
K. Schneider, R. Kumar, T.
Kropf.45
Session: HDL-based Design Methods
chair: Franz Rammig
. 63
"HW/SW Co-Design with PRAMs Using CoDES"
K. Buchenrieder, A. Sedlmeier, C. Veith
. 65
"PrevaiUDM: A Framework-Based Environment for Formal Hardware Verification
"
F.R. Wagner
. 79
"Better Verification Through Symmetry"
C.N. Ip, D.L. Dill
. 97
Session: Synthesis and Verification
chair: Mario Barbacci
. 113
"A Rewriting Based Method for the Formal Verification of Microprocessors"
M. AUemand
. 115
"Reasoning about the VHDL Standard Logic Package Signal Data Type
"
J.W. Gambles, P.J. Windley
. 123
"An Efficient Data-Path Synthesis Based on Algorithmic Description under the
Constraints of Time and Area"
Х
-J.
Xu, M. Ishizuka
.
Ш
"Integrating Boolean Verification with Formal Derivation"
B.
Bose,
S.D.
Johnson, S. Pullela
.
I39
"Automated High-level Verification Against Clocked Algorithmic Specifications"
F. Corelk
.
I47
"The Backward Walk Approach in FSM Verification"
S. Krischer
.
I55
"Automatic Verification of Sequential Circuit Designs (invited presentation.)"
Edmund M. Clarke, Carnegie Mellon University
. 163
Session: Protocol Specification
chair: Ed Cerny
.
I67
"Toward a Basis for Protocol Specification and Process Decomposition
"
K. Rath,
S.D.
Johnson
. 169
"Integrating SDL and VHDL for System-Level Hardware Design"
W. Glunz, T.
Kruse,
T.
Rössel,
D. Monjau
. 187
Session:
Formal
Reasoning about
Regular
Structures
chair: Carlos
Delgado Kloos
.205
"Reasoning About Array Structures Using a Dependently Typed Logic"
A. Dent,
K. Hanna
.207
"VHDL Description and Formal Verification of Systolic Multipliers"
L. Pierre
.225
"Transformational Rewriting with Ruby"
R. Sharp,
O. Rasmussen
. 243
Session: High Level Synthesis
chair: Flavio Wagner
.261
"A Representation for the Binding of RT-Component Functionality to HDL Behavior"
R.P.
Ang, N.D.
Dutt
.263
"Performance Specification and Measurement"
R. Mandayam, R. Vemuri
. 281
Mil
"Automatic Synthesis of Sequential Synchronizations"
Z. Zhu,
S.D.
Johnson
. 299
Session: Design Capture (short papers)
chair: Edmund M. Clarke
. 317
"Specifying Hardware Systems in LOTOS"
M.
Faci,
L.
Logrippo
. 319
"HML: A Hardware Description Language Based on Standard ML"
J. O'Leary, M.
Linderman,
M.
Leeser,
M.
Aagaard
.327
"An Efficient Object-Oriented Variation of the
Statecharts
Formalism for
Distributed Real-Time Systems"
B. Selic
.335
"Linking System Design Tools and Hardware Design Tools"
A.A.
Jerraya, K. O'Brien, T. Ben Ismail
. 345
"Automatic VHDL Model Generation System"
S. Kang,
S.A.
Szygenda
. 353
"The Modeler's Assistant: A CAD Tool for Behavioral Model Development"
B. Singh, J. Wicks, P. Wright, J.R. Armstrong
.361
"Insulin: An Instruction Set Simulation Environment"
S. Sutarwala, P.G.
Paulin, Y.
Kumar
. 369
"Specification languages for communication protocols (invited presentation)
"
Gregor v.
Bochmann,
Université de Montréal
. 377
Session: Timing Specifications in HDLs
chair: John
Brzozowski
. 397
"Integrating Behavior and Timing in Executable Specifications"
K. Khordoc, M. Dufresne, E. Cerny,
P.A.
Babkine,
A. Silburt
. 399
"ESP: An Executable Specification Language for Mixed Timing Control Circuits
"
T.-A.
Chu,
H.T.
Cao,
C.K.C.
Leung
.417
Session: Textual and Graphical
HDŁs
chair: Robert Hum
. 435
"UDL/I version Two: A New Horizon of HDL Standards"
T. Hoshino
. 437
XIV
"VerHog
HDL Modeling Styles for Formal Verification"
F. Balarin,
G
.
York
. 453
"A Visual Hardware Description Language"
E.J. Golin,
A.C.
Feng
. 467
"Textual/Graphical Design Concept-Level Synthesis"
W.R. Cyre
.485
Sessions: VHDL
chairs: Ron Waxman
&
Przemslaw Bakowski
. 503
"System-Level Specification and Design Using VHDL: A Case Study"
W.
Ecker,
S.
März . 505
"A Denotational Definition of the VHDL Simulation Kernel"
K.C. Davis
. 523
"Checking DFT Rules with a VHDL Simulator"
W. Glunz,
T. Rossel
. 537
"Parameterized VHDL entities for the simulation of hybrid circuits"
M.
Ryba, W.
Seibold,
U.G. Baitinger,
U. Thelen
.551
"Modeling Timing Behavior of Logic Circuits Using Piecewise Linear Models"
Z. Navabi, A. Hashemi, M. Eghtesad, M.
Vai,
.569
"Analog-VHDL: As an application, a real example"
D. Rodriguez
. 587 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV009545085 |
| classification_rvk | SS 1993 |
| classification_tum | DAT 190f |
| ctrlnum | (OCoLC)633473250 (DE-599)BVBBV009545085 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV009545085</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960508</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940421s1993 xx ad|| |||| 10||| und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444816410</subfield><subfield code="9">0-444-81641-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633473250</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009545085</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=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91</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 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93 ; Ottawa, Ontario, Canada, 26 - 28 April, 1993</subfield><subfield code="c">ed. by David Agnew ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam u.a.</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 604 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="490" ind1="1" ind2=" "><subfield code="a">International Federation for Information Processing: [IFIP transactions / A]</subfield><subfield code="v">32</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">1993</subfield><subfield code="z">Ottawa</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Agnew, David</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Computer Hardware Description Languages and Their Applications</subfield><subfield code="n">11</subfield><subfield code="d">1993</subfield><subfield code="c">Ottawa</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5086737-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">A]</subfield><subfield code="t">International Federation for Information Processing: [IFIP transactions</subfield><subfield code="v">32</subfield><subfield code="w">(DE-604)BV006188900</subfield><subfield code="9">32</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=006305218&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-006305218</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1993 Ottawa gnd-content |
| genre_facet | Konferenzschrift 1993 Ottawa |
| id | DE-604.BV009545085 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:18:19Z |
| institution | BVB |
| institution_GND | (DE-588)5086737-4 |
| isbn | 0444816410 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006305218 |
| oclc_num | 633473250 |
| open_access_boolean | |
| owner | DE-739 DE-91 DE-BY-TUM |
| owner_facet | DE-739 DE-91 DE-BY-TUM |
| physical | XIV, 604 S. Ill., graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | North-Holland |
| record_format | marc |
| series2 | International Federation for Information Processing: [IFIP transactions / A] |
| spelling | Computer hardware description languages and their applications proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93 ; Ottawa, Ontario, Canada, 26 - 28 April, 1993 ed. by David Agnew ... Amsterdam u.a. North-Holland 1993 XIV, 604 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier International Federation for Information Processing: [IFIP transactions / A] 32 Hardwarebeschreibungssprache (DE-588)4159102-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1993 Ottawa gnd-content Hardwarebeschreibungssprache (DE-588)4159102-1 s DE-604 Agnew, David Sonstige oth International Conference on Computer Hardware Description Languages and Their Applications 11 1993 Ottawa Sonstige (DE-588)5086737-4 oth A] International Federation for Information Processing: [IFIP transactions 32 (DE-604)BV006188900 32 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006305218&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computer hardware description languages and their applications proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93 ; Ottawa, Ontario, Canada, 26 - 28 April, 1993 Hardwarebeschreibungssprache (DE-588)4159102-1 gnd |
| subject_GND | (DE-588)4159102-1 (DE-588)1071861417 |
| title | Computer hardware description languages and their applications proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93 ; Ottawa, Ontario, Canada, 26 - 28 April, 1993 |
| title_auth | Computer hardware description languages and their applications proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93 ; Ottawa, Ontario, Canada, 26 - 28 April, 1993 |
| title_exact_search | Computer hardware description languages and their applications proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93 ; Ottawa, Ontario, Canada, 26 - 28 April, 1993 |
| title_full | Computer hardware description languages and their applications proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93 ; Ottawa, Ontario, Canada, 26 - 28 April, 1993 ed. by David Agnew ... |
| title_fullStr | Computer hardware description languages and their applications proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93 ; Ottawa, Ontario, Canada, 26 - 28 April, 1993 ed. by David Agnew ... |
| title_full_unstemmed | Computer hardware description languages and their applications proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93 ; Ottawa, Ontario, Canada, 26 - 28 April, 1993 ed. by David Agnew ... |
| title_short | Computer hardware description languages and their applications |
| title_sort | computer hardware description languages and their applications proceedings of the 11th ifip wg10 2 international conference on computer hardware description languages and their applications chdl 93 ottawa ontario canada 26 28 april 1993 |
| title_sub | proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93 ; Ottawa, Ontario, Canada, 26 - 28 April, 1993 |
| topic | Hardwarebeschreibungssprache (DE-588)4159102-1 gnd |
| topic_facet | Hardwarebeschreibungssprache Konferenzschrift 1993 Ottawa |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006305218&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV006188900 |
| work_keys_str_mv | AT agnewdavid computerhardwaredescriptionlanguagesandtheirapplicationsproceedingsofthe11thifipwg102internationalconferenceoncomputerhardwaredescriptionlanguagesandtheirapplicationschdl93ottawaontariocanada2628april1993 AT internationalconferenceoncomputerhardwaredescriptionlanguagesandtheirapplicationsottawa computerhardwaredescriptionlanguagesandtheirapplicationsproceedingsofthe11thifipwg102internationalconferenceoncomputerhardwaredescriptionlanguagesandtheirapplicationschdl93ottawaontariocanada2628april1993 |