Short Description:

Example URL:

Developed By:

Developer's URL (if known):

Please classify the example

• Abstraction Level:
  Algorithmic Register Transfer Gate Transitor
• Synchronicity:
  Synchronous Asynchronous Combination
• Hierarchy:
  Hierarchical Flat
• Determinism:
  Deterministic Non-deterministic
• Type:
  Controller Data-path Both
• Complexity:
  Introductory Standard Illustrative Challenge

What information is provided for the example? (Select all that apply)

	Informal Description       Schematic
	Formal Description     In what notation?
	Properties to Verify     In what language?
	Other

What tools (if any) have been used on this example?

Additional comments to include with example listing:

Email address of submitter (required - please double check before submitting):