A
Andrey Mokhov
Researcher at Newcastle University
Publications - 102
Citations - 744
Andrey Mokhov is an academic researcher from Newcastle University. The author has contributed to research in topics: Asynchronous communication & Formal verification. The author has an hindex of 15, co-authored 102 publications receiving 669 citations. Previous affiliations of Andrey Mokhov include University of Newcastle.
Papers
More filters
Journal ArticleDOI
Conditional Partial Order Graphs: Model, Synthesis, and Application
Andrey Mokhov,Alex Yakovlev +1 more
TL;DR: The presented ideas can be applied for CPU control synthesis as well as for synthesis of different kinds of event-coordination circuits often used in data coding and communication in digital systems, as demonstrated with several application examples.
Proceedings ArticleDOI
Automated Verification of Asynchronous Circuits Using Circuit Petri Nets
TL;DR: An algorithm for automatic conversion of a circuit netlist into a behaviourally equivalent Petri net is proposed and has been automated and compared against previously existing circuit verification tools.
Book ChapterDOI
Workcraft: a static data flow structure editing, visualisation and analysis tool
TL;DR: A tool which aims to provide a common, cross-platform environment to assist with visual editing, real-time simulation, animation and extendable analysis features for different SDFS types by implementing the models themselves, as well as the supporting tools, as plug-ins.
Journal ArticleDOI
Build systems à la carte
TL;DR: By teasing apart existing build systems, this paper can recombine their components, allowing us to prototype new build systems with desired properties, and view them as related points in landscape rather than as isolated phenomena.
Proceedings ArticleDOI
Desugaring Haskell's do-notation into applicative operations
TL;DR: This paper shows how to re-use the very same do-notation to work for Applicatives as well, providing efficiency benefits for some types that are both Monad and Applicative, and syntactic convenience for those that are merely Applicative.