OPERATION/EVENT GRAPHS: A Design Representation for Timing Behavior

This publication has 9 references indexed in Scilit:

• Combining event and data-flow graphs in behavioral synthesis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Timing verification using HDTV
  Published by Association for Computing Machinery (ACM) ,1990
• Automatic production of controller specifications from control and timing behavioral descriptions
  Published by Association for Computing Machinery (ACM) ,1989
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• On the models for designing VLSI asynchronous digital systems
  Integration, 1986
• VHSIC Hardware Description Language
  Computer, 1985
• Timing Requirements for Time-Driven Systems Using Augmented Petri Nets
  IEEE Transactions on Software Engineering, 1983
• Instruction set processor specifications (ISPS): The notation and its applications
  IEEE Transactions on Computers, 1981
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977