Toggle Main Menu Toggle Search

Open Access padlockePrints

Design and Verification of Speed-Independent Multiphase Buck Controller

Lookup NU author(s): Dr Danil Sokolov, Dr Victor Khomenko, Dr Andrey Mokhov, Professor Alex Yakovlev


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Power regulators and converters impose high requirements on the latency and resilience of their control circuitry. In this paper we design a speed-independent multiphase buck controller based on a novel lazy token ring architecture, that allows overlapping the charging cycles of multiple phases as well as simultaneous activation of all phases to handle the sudden power demand. The advantages over traditional synchronous designs include reliable handling of asynchronous inputs from sensors, low-latency reaction to the changes in power demand (under-voltage, over-current, zero-crossing and high-load conditions), and more balanced utilisation of charging phases. The essential correctness properties of the developed controller have been formally verified, and the whole buck has been validated in the industrial settings using exhaustive simulation.

Publication metadata

Author(s): Sokolov D, Khomenko V, Mokhov A, Yakovlev A, Lloyd D

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 21st IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2015)

Year of Conference: 2015

Pages: 29-36

Print publication date: 01/01/2015

Online publication date: 09/07/2015

Acceptance date: 01/01/1900

Publisher: IEEE


DOI: 10.1109/ASYNC.2015.14

Library holdings: Search Newcastle University Library for this item

ISBN: 9781479987153


Link to this publication