3 search results - page 1 / 1 » Overview of Hydra: A Concurrent Language for Synchronous Dig... |
IPPS
2002
IEEE
13 years 9 months ago
2002
IEEE
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...
FM
2003
Springer
13 years 10 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
EUROMICRO
2000
IEEE
13 years 9 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...