Most digital designs inherently possess asynchronous behaviors of some kind. While the SystemVerilog assertion (SVA) language offers some asynchronous controls like disable iff, writing concurrent assertions that accurately describe asynchronous behavior is not so straightforward. SVA properties require a clocking event, making them innately synchronous. When describing asynchronous behavior, t...

This paper describes an approach for handling intermittent connectivity between mobile clients and network-resident applications, which we call zippering. When the client connects with the application, communication between the client and the application is synchronous. When the client intermittently connects with the application, communication becomes asynchronous. The DIANA (Device-Independen...

This paper considers the general problem of the synthesis of asynchronous combinational and sequential circuits based on the assumption that gate delays may be unbounded and that line delays are suitably constrained. Certain problems inherent to circuit realizations with unbounded gate delays are discussed and methods of solving them are proposed. Specific synthesis techniques are presented for...

Any opinions, findings, and conclusions or recommendations expressed here are those of the authors and do not necessarily reflect the views of the funding agencies or the U.S. government.

introduction: programs must demonstrate that their residents are taught and assessed in professionalism. most programs struggle with finding viable ways to teach and assess this critical competency. uthscsa family and community medicine residency developed an innovative option for interactive learning and assessment of residents in this competency which would be transferrable to other programs ...

Article history: Received 10 March 2015 Received in revised form 20 March 2015 Accepted 25 March 2015 Available online 10 April 2015

Even in the absence of clocks, time bounds on the duration of actions enable the use of time fordistributed coordination. This paper initiates an investigation of coordination in such a setting. A newcommunication structure called a zigzag pattern is introduced, and shown to guarantee bounds on therelative timing of events in this clockless model. Indeed, zigzag patterns are shown t...