Hardware Description Languages and their Applications
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781475753875, 9780387350646

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

High-Level Synthesis of Structured Data Paths

Hardware Description Languages and their Applications ◽

10.1007/978-0-387-35064-6_12 ◽

1997 ◽

pp. 92-94 ◽

Cited By ~ 3

Author(s):

C. Mandal ◽

R. M. Zimmer

Keyword(s):

Structured Data ◽

High Level Synthesis ◽

High Level

Download Full-text

SOFHIA: A CAD Environment to Design Digital Control Systems

Hardware Description Languages and their Applications ◽

10.1007/978-0-387-35064-6_10 ◽

1997 ◽

pp. 86-88 ◽

Cited By ~ 5

Author(s):

Ricardo J. Machado ◽

João M. Fernandes ◽

Alberto J. Proença

Keyword(s):

Control Systems ◽

Digital Control ◽

Digital Control Systems

Download Full-text

Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets

Hardware Description Languages and their Applications ◽

10.1007/978-0-387-35064-6_2 ◽

1997 ◽

pp. 4-23 ◽

Cited By ~ 8

Author(s):

B. Kleinjohann ◽

J. Tacken ◽

C. Tahedl

Keyword(s):

Embedded Systems ◽

Design Method

Download Full-text

Compiling the language Balsa to delay insensitive hardware

Hardware Description Languages and their Applications ◽

10.1007/978-0-387-35064-6_11 ◽

1997 ◽

pp. 89-91 ◽

Cited By ~ 24

Author(s):

Andrew Bardsley ◽

Doug Edwards

Download Full-text

Verification of Large Systems in Silicon

Hardware Description Languages and their Applications ◽

10.1007/978-0-387-35064-6_20 ◽

1997 ◽

pp. 215-239 ◽

Cited By ~ 1

Author(s):

Cary Ussery ◽

Simon Curry

Keyword(s):

Large Systems

Download Full-text

VHDL Power Simulator: Power Analysis at Gate-Level

Hardware Description Languages and their Applications ◽

10.1007/978-0-387-35064-6_26 ◽

1997 ◽

pp. 317-333 ◽

Cited By ~ 1

Author(s):

L. Kruse ◽

D. Rabe ◽

W. Nebel

Keyword(s):

Power Analysis

Download Full-text

A formal proof of absence of deadlock for any acyclic network of PCI buses

Hardware Description Languages and their Applications ◽

10.1007/978-0-387-35064-6_15 ◽

1997 ◽

pp. 134-156 ◽

Cited By ~ 7

Author(s):

Francisco Corella ◽

Robert Shaw ◽

Cui Zhang

Keyword(s):

Formal Proof ◽

Acyclic Network

Download Full-text

Characterizing a portable subset of behavioral VHDL-93

Hardware Description Languages and their Applications ◽

10.1007/978-0-387-35064-6_13 ◽

1997 ◽

pp. 97-113

Author(s):

Krishnaprasad Thirunarayan ◽

Robert L. Ewing

Download Full-text

Interface Synthesis in Embedded HW/SW Systems

Hardware Description Languages and their Applications ◽

10.1007/978-0-387-35064-6_8 ◽

1997 ◽

pp. 80-82 ◽

Cited By ~ 1

Author(s):

G. Gogniat ◽

M. Auguin ◽

C. Belleudy

Keyword(s):

Interface Synthesis

Download Full-text

Synchronous Languages for Hardware and Software Reactive Systems

Hardware Description Languages and their Applications ◽

10.1007/978-0-387-35064-6_1 ◽

1997 ◽

pp. 3-3 ◽

Cited By ~ 4

Author(s):

Gerard Berry

Keyword(s):

Reactive Systems ◽

Synchronous Languages

Download Full-text

Hardware Description Languages and their ApplicationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

High-Level Synthesis of Structured Data Paths

SOFHIA: A CAD Environment to Design Digital Control Systems

Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets

Compiling the language Balsa to delay insensitive hardware

Verification of Large Systems in Silicon

VHDL Power Simulator: Power Analysis at Gate-Level

A formal proof of absence of deadlock for any acyclic network of PCI buses

Characterizing a portable subset of behavioral VHDL-93

Interface Synthesis in Embedded HW/SW Systems

Synchronous Languages for Hardware and Software Reactive Systems

Hardware Description Languages and their Applications
Latest Publications