Message passing is a useful abstraction for implementing concurrent programs. For real-world systems, however, it often combined with other programming and concurrency paradigms, such as higher-order functions, mutable state, shared-memory concurrency, locks. We present Actris: logic proving functional correctness of programs that use combination the aforementioned features. Actris combines pow...

Two often cited arguments for the inherent lowpower benefit of asynchronous or self-timed design is that the clock signals cause unnecessary switching activity and that the clock signals themselves dissipate a large portion of the total chip power. However, the careful and explicit application of conditional clocking and the use of novel clock driver circuits in synchronous designs rival the as...

Convergence of asynchronous block Newton methods for solving nonlinear systems of equations of the form F (x) = 0 are studied. Sufficient conditions to guarantee their local convergence are given. Our analysis emphasizes the connection between the conditions on F involved in local convergence theorems for sequential and synchronous block Newton’s method, and our settings for asynchronous block ...

Sequential learning (SL) refers to the ability to learn the temporal and ordinal patterns of one’s environment. Whereas research on the learning of ordinal patterns is common, the learning of temporal patterns within sequential events has been far less studied. The current study examines the effects of synchronous and asynchronous temporal patterns on visual sequential learning. We hypothesize ...

1) Signal transitions provide a key to understanding the switching behavior of asynchronous logic. 2) Burst-mode circuits and speed-independent control circuits offer reliable operation that is free from glitches. 3) Various notations are available for specification of control circuitry and as a starting point for logic synthesis. 4) Bundled data and delay-insensitive coding schemes are suitabl...

Asynchronous design Virtually all digital design today is based on a synchronous approach. The total system is designed as the composition of one or more subsystems where each subsystem is a clocked finite state machine; the subsystem changes from one state to the next on the edges of a regular clock. The state is held in a set of flip-flops (registers), and combinatorial logic is used to deriv...

We introduce the use of asynchronous logic automata (ALA) for cryptography. ALA aligns the descriptions of hardware and software for portability, programmability, and scalability. An implementation of the A5/1 stream cipher is provided as a design example in a concise hardware description language, Snap, and we discuss a powerand timingbalanced cell design.

The main aim of this project is to deliver an integrated design methodology for synthesising digital systems with mixed synchronous-asynchronous architectures. The proposed technique combines Globally Asynchronous Locally Synchronous (GALS) design with Elastic Logic principles. Elastic Logic and Asynchronous design are envisioned to share a common timing discipline which should simplify the GAL...