An algorithm for the synthesis of processor structures from behavioural specifications
- 31 December 1986
- journal article
- Published by Elsevier in Microprocessing and Microprogramming
- Vol. 18 (1-5) , 251-262
- https://doi.org/10.1016/0165-6074(86)90052-9
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital LogicIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1983
- High-Speed Multiprocessors and Compilation TechniquesIEEE Transactions on Computers, 1980
- Efficient Computation of Expressions with Common SubexpressionsJournal of the ACM, 1980
- The Identification of Maximal Parallelism in Straight-Line MicroprogramsIEEE Transactions on Computers, 1976
- The Generation of Optimal Code for Arithmetic ExpressionsJournal of the ACM, 1970