The concurrent assignment representation of synchronous systems (Q1116329)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The concurrent assignment representation of synchronous systems |
scientific article |
Statements
The concurrent assignment representation of synchronous systems (English)
0 references
1989
0 references
We consider the specification and programming of synchronous concurrent algorithms. This general class of algorithms includes clocked hardware, systolic algorithms, neural nets for example. We present some simple theory practical formal methods, and software tools to help design these algorithms.
0 references
synchronous systems
0 references
streams
0 references
abstract data type
0 references
clocks
0 references
concurrent assignment specification
0 references
design of hardware
0 references
synchronous concurrent algorithms
0 references
clocked hardware
0 references
systolic algorithms
0 references
neural nets
0 references
