Transformations for the synthesis and optimization of asynchronous distributed control

Proceedings - Design Automation Conference

Volumn , Issue , 2001, Pages 263-268

  Theobald, M ^a   Nowick, S M ^a  

^a Department of Earth and Environmental Sciences   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; DATA FLOW ANALYSIS; DIFFERENTIAL EQUATIONS; DISTRIBUTED COMPUTER SYSTEMS; GRAPH THEORY; LARGE SCALE SYSTEMS; OPTIMIZATION;

ASYNCHRONOUS DISTRIBUTED CONTROL;

DISTRIBUTED PARAMETER CONTROL SYSTEMS;

EID: 0034842165     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/378239.378480     Document Type: Conference Paper

References (26)

1. Architectural synthesis of timed asynchronous systems
2. High-level synthesis of asynchronous systems: Scheduling and process synchronization
3. Automated synthesis of micro-pipelines from behavioral verilog HDL
4. High-level asynchronous system design using ack
5. A counterflow pipeline experiment
6. An asynchronous architecture model for behavioral synthesis
7. Synthesis of asynchronous control circuits with automatically generated relative timing assumption
8. Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers
9. An asynchronous low-power 80c51 microcontroller
10. Automatic process-oriented control circuit generation for asynchronous high-level synthesis
11. Control resynthesis for control-dominated asynchronous designs
12. A technique for synthesizing distributed burst-mode circuits
13. Asynchronous design using commercial HDL synthesis tools
14. Programming in VLSI: From communicating processes to delay-insensitive circuits
15. Combining process algebras and Petri nets for the specification and synthesis of asynchronous circuits
16. RAPPID: An asynchronous instruction-length decoder
17. Fast heuristic and exact algorithms for two-level hazard-free logic minimization
18. Automatic synthesis of 3D asynchronous finite-state machines
19. The design and verification of a high-performance low-control-overhead asynchronous differential equation solver