A High-Level Language for Programming Complex Temporal Behaviors and Its Translation into Synchronous Circuits

摘要

We present YASL, a synchronous programming language that supports highlevel programming of finite-state machines by providing a rich set of control constructs for specifying complex temporal behaviors and an automatic procedure for translating such high-level temporal specifications into finite-state machines in the form of synchronous circuits. In addition to operators for expressing watchdog, conditional, sequencing, and concurrency, YASL offers a powerful temporal projection operator that supports hierarchical description of temporal behaviors at different granulatities of time.