D
D.J. Kinniment
Researcher at Newcastle University
Publications - 39
Citations - 780
D.J. Kinniment is an academic researcher from Newcastle University. The author has contributed to research in topics: Asynchronous communication & Synchronizer. The author has an hindex of 17, co-authored 39 publications receiving 754 citations. Previous affiliations of D.J. Kinniment include University of Newcastle & Universities UK.
Papers
More filters
Book
Synchronization and Arbitration in Digital Systems
TL;DR: This authoritative text provides in-depth theory and practical design solutions for the reliable working of synchronization and arbitration hardware in digital systems and will prove an invaluable guide for electronic and computer engineers and researchers working on the design of digital electronic hardware.
Proceedings Article
Priority arbiters
TL;DR: The paper presents asynchronous design solutions to the problem of Priority Arbitration by means of an early propagation of the 'valid'-'invalid' signals, concurrently, with processing the priority data, which lends to significant reduction in the overall arbitration delay when the number of active requests is low.
Journal ArticleDOI
An evaluation of asynchronous addition
TL;DR: It is shown that asynchronous adders only give a performance improvement over more conventional hardware in very limited conditions, where the size and regularity of the layout are at a premium.
Journal ArticleDOI
On-Chip Measurement of Deep Metastability in Synchronizers
TL;DR: A deep metastability measurement scheme has been implemented on chip using digital circuits with 0.18 mum technology, and a new synchronizer circuit designed for robustness to variation in Vdd performed at least as well as the Jamb Latch at all values of Vdd.
Journal ArticleDOI
Modelling, analysis and synthesis of asynchronous control circuits using Petri nets
TL;DR: This tutorial paper surveys some of the existing techniques for modelling, analysis and synthesis of asynchronous control circuits based on the use of Petri nets, and presents three different approaches to verification of net-based circuits, and shows their relative strengths and weaknesses.