From high-level descriptions to vlsi circuits
- 1 September 1988
- journal article
- other
- Published by Springer Nature in BIT Numerical Mathematics
- Vol. 28 (3), 620-638
- https://doi.org/10.1007/bf01941138
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Parallel Program DesignPublished by Springer Nature ,1989
- Verification of VLSI Circuits Using LPDAIMI Report Series, 1988
- Problem-heap: A paradigm for multiprocesor algorithmsParallel Computing, 1987
- The S/Net's Linda kernelACM Transactions on Computer Systems, 1986
- Multi-Level Simulation for VLSI DesignPublished by Springer Nature ,1986
- Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential ProcessorsACM Transactions on Programming Languages and Systems, 1983
- Communicating sequential processesCommunications of the ACM, 1978