Graphical Representations
Chris J. Myers · 2001
Chapter 4 presents several methods for representing asynchronous circuits using graphs. While for large designs hardware description languages allow a clearer specification of behavior, graphs are a useful pictorial tool for small examples. They are also the underlying data structure used by virtually all automated analysis, synthesis, and verification tools. Most graphical representation methods can be loosely categorized as either state machine-based or Petri net-based. Various types of each are presented. The chapter concludes with a description of timed event/level (TEL) structures, which unify some of the key properties of both.