A New Synthesis Algorithm for the MIMOLA Software System

This publication has 14 references indexed in Scilit:

• Automatic generation of digital system schematic diagrams
  Published by Association for Computing Machinery (ACM) ,1985
• A retargetable compiler for a high-level microprogramming language
  ACM SIGMICRO Newsletter, 1984
• Automated Synthesis of Digital systems
  IEEE Design & Test of Computers, 1984
• A General Methodology for Synthesis and Verification of Register-Transfer Designs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• The MIMOLA Design System: Tools for the Design of Digital Processors
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1983
• The VLSI Design Automation Assistant: Prototype System
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1983
• Some Aspects of High-Level Microprogramming
  ACM Computing Surveys, 1980
• High-Speed Multiprocessors and Compilation Techniques
  IEEE Transactions on Computers, 1980
• The Identification of Maximal Parallelism in Straight-Line Microprograms
  IEEE Transactions on Computers, 1976