Interface controller synthesis from requirement specifications

This publication has 6 references indexed in Scilit:

• Specification and verification of system-level hardware designs using time diagrams
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• VHDL/S — integrating statecharts, timing diagrams, and VHDL
  Microprocessing and Microprogramming, 1993
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• On the synthesis of a reactive module
  Published by Association for Computing Machinery (ACM) ,1989
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982