Recent work in the design of asynchronous micropipeline latch controllers suggests that the two-phase protocol may have benefits over the four-phase protocol in terms of speed, energy consumption and not least simplicity. Empirically, circuit behaviour may be analysed using the conventional technique of SPICE simulation. However, in order to gain a high level of confidence in the correctness of these circuits, CCS was used to model several asynchronous latch controllers. This report gives details of the modelling decisions made, and the properties verified for the latch controllers.ECS-LFCS-97-369.
This report is available in the following formats: