Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components

This publication has 6 references indexed in Scilit:

• The Olympus synthesis system
  IEEE Design & Test of Computers, 1990
• Synthesizing circuits from behavioural descriptions
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
• Concepts and Notations for Concurrent Programming
  ACM Computing Surveys, 1983
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975
• Decision tables
  The Computer Journal, 1967
• Design of a separable transition-diagram compiler
  Communications of the ACM, 1963