While asynchronous logic has many potential advantages compared to traditional synchronous designs, one of the major drawbacks is its unpredictability with respect to temporal behavior. Having no high-precision oscillator, a self-timed circuit’s execution speed is heavily dependent on temperature and supply voltage. Small fluctuations of these parameters already result in noticeable changes of ...

In this paper we propose a method to generate pausible clock based GALS wrapper circuits from the synchronous module’s Verilog specification code automatically. We first parse the input module specification and produce wrapper circuit components based on the specification of entered synchronous module. Existing methods for generation of the wrapper circuit waste the die size because they instan...

Balanced asynchronous circuits have been touted as a superior replacement for conventional synchronous circuits. To assess these claims, we have designed, manufactured and tested an experimental asynchronous smart-card style device. In this paper we describe the tests performed and show that asynchronous circuits can provide better tamperresistance. However, we have also discovered weaknesses w...

Geometric cloud height estimation provides an alternative to cloud top temperature methods if two satellites view the same cloud. First we demonstrate the stereo cloud height derivation with a combination of Meteosat 7 and Meteosat 5 5 km resolution Infrared data. Comparison with the temperature technique shows consistency in the majority of the clouds, but some differences. This demonstrates t...

The paper analyses generator operations of asynchronous machines when they are connected to a passive electrical network either directly or by an intermediate static power converter. The analysis is performed by taking into account the saturation phenomena of the main magnetic circuits of the machine. Mathematical models of both physical configurations are given and their non-linearities are ev...

In this paper, we demonstrate the formal verification of a parameterized asynchronous circuit which has request and acknowledgment controls through data paths. We propose a new encoding technique of the data path and construct a finite abstracted model. The properties expressed by ACTL formulas are modelchecked in the abstracted model, and then the correctness of the abstraction is mechanically...

Abstract. This paper approaches the problem of synthesising an asynchronous control circuit for a stage of the Sproull Counterflow pipeline processor (CFPP) as an exercise in exploiting formal techniques available for Petri nets. We first synthesise a Petri net model of the CFPP stage control from its original “five-state-five-event” description due to Charles Molnar. Secondly, we implement tha...

This work is part of a large project aimed to enhance the signal processing chain required in embedded systems. The motivation is to reduce their size, cost, power consumption, processing noise and electromagnetic emission. This can be done by smartly reorganizing their associated signal processing theory and architecture. The idea is to combine the signal event driven processing with asynchron...

Rapid Single Flux Quantum (RSFQ) logic is a superconducting digital circuit technology that has emerged as a possible alternative to advanced semiconductor technologies for large scale ultra-high speed, very low power digital applications. Timing of RSFQ circuits at frequencies of tens to hundreds of gigahertz is a challenging and still unresolved problem. In many circuit topologies of current ...