Publications by Professor David Kinniment - ePrints

Browsing publications by Professor David Kinniment.

Newcastle Authors	Title	Year
Jun Zhou Professor David Kinniment Dr Gordon Russell Professor Alex Yakovlev	Sub-threshold Synchronizer	2011
Mohammed Alshaikh Professor David Kinniment Professor Alex Yakovlev	A Synchronizer Design Based on Wagging	2010
Jun Zhou Professor David Kinniment Dr Gordon Russell	Extending Synchronization from Super-threshold to Sub-threshold Region	2010
Mohammed Alshaikh Professor David Kinniment Professor Alex Yakovlev	O. The trade-off between resolution time and delay times in bistable circuits	2009
Professor David Kinniment	Synchronization and Arbitration in GALS	2009
Jun Zhou Professor David Kinniment Dr Gordon Russell Professor Alex Yakovlev	Adapting synchronizers to the effects of on chip variability	2008
Nikolaos Minas Professor David Kinniment Dr Gordon Russell Professor Alex Yakovlev	High Resolution Flash Time-to-Digital Converter with Sub-Picosecond Measurement Capabilities	2008
Professor David Kinniment Dr Albert Koelmans Dr Alex Bystrov Dr Graeme Chester Dr Gordon Russell et al.	Message from General Chairs	2008
Jun Zhou Professor David Kinniment Dr Gordon Russell Professor Alex Yakovlev	On-chip measurement of deep metastability in synchronizers	2008
Nikolaos Minas Professor David Kinniment Keith Heron Dr Gordon Russell	A High Resolution Flash Time-to-Digital Converter Taking Into Account Process Variability	2007
Nikolaos Minas Professor David Kinniment Keith Heron Dr Gordon Russell	A high resolution flash time-to-digital converter taking into account process variability	2007
Mohd Abas Dr Gordon Russell Professor David Kinniment	Built-in time measurement circuits – a comparative design study	2007
Mohd Abas Dr Gordon Russell Professor David Kinniment	Embedded high-resolution delay measurement system using time amplification	2007
Professor David Kinniment Keith Heron Dr Gordon Russell Professor Alex Yakovlev	Measuring deep metastability and its effect on synchronizer performance	2007
Crescenco D'Alessandro Nikolaos Minas Keith Heron Professor David Kinniment Professor Alex Yakovlev et al.	NoC communication strategies using time-to-digital conversion	2007
Jun Zhou Professor David Kinniment Dr Gordon Russell Professor Alex Yakovlev	A robust synchronizer	2006
Professor David Kinniment Keith Heron Dr Gordon Russell	Measuring deep metastability	2006
Mohd Abas Dr Gordon Russell Professor David Kinniment	Design of sub-10-picoseconds on-chip time measurement circuit	2004
Professor David Kinniment Professor Alex Yakovlev	Low latency synchronization through speculation	2004
Professor David Kinniment Professor Alex Yakovlev	Low latency synchronization through speculation	2004
Professor David Kinniment Dr Oleg Maevsky Dr Alex Bystrov Dr Gordon Russell Professor Alex Yakovlev et al.	On-chip structures for timing measurement and test	2003
Dr Oleg Maevsky Professor David Kinniment Professor Alex Yakovlev Dr Alex Bystrov	Analysis of the oscillation problem in tri-flops	2002
Dr Oleg Maevsky Professor David Kinniment Professor Alex Yakovlev Dr Alex Bystrov	Analysis of the oscillation problem in tri-flops	2002
Dr Oleg Maevsky Professor David Kinniment Professor Alex Yakovlev Dr Alex Bystrov	Analysis of the oscillation problem in tri-flops	2002
Dr Nick Coleman Professor David Kinniment Dr Albert Koelmans	Computer based learning – towards a comprehensive evaluation methodology	2002
Professor David Kinniment Dr Graeme Chester	Design of an on-chip random number generator using metastability	2002
Professor David Kinniment Dr Oleg Maevsky Dr Alex Bystrov Dr Gordon Russell Professor Alex Yakovlev et al.	On-chip structures for timing measurement and test	2002
Professor David Kinniment Dr Alex Bystrov Professor Alex Yakovlev	Synchronization circuit performance	2002
Mohd Abas Dr Alex Bystrov Professor David Kinniment Dr Oleg Maevsky Dr Gordon Russell et al.	Time difference amplifier	2002
Dr Oleg Maevsky Professor David Kinniment Professor Alex Yakovlev Dr Alex Bystrov	Analysis of the Oscillation Problem in Tri-Flops	2001
Professor David Kinniment Dr Oleg Maevsky Dr Alex Bystrov Dr Gordon Russell Professor Alex Yakovlev et al.	On-Chip structures for Timing Measurement and Test	2001
Dr Fei Xia Professor Alex Yakovlev Dr Delong Shang Dr Alex Bystrov Dr Albert Koelmans et al.	Asynchronous communication mechanisms using self-timed circuits	2000
Professor David Kinniment	Measurements on a High Speed Arbiter	2000
Dr Alex Bystrov Professor David Kinniment Professor Alex Yakovlev	Priority arbiters	2000
Professor David Kinniment Professor Alex Yakovlev Bin Gao	Synchronous and asynchronous A-D conversion	2000
Dr Fei Xia Professor Alex Yakovlev Dr Alex Bystrov Dr Albert Koelmans Professor David Kinniment et al.	An Asynchronous Communication Mechanism Using Self-timed Circuits	1999
Professor Alex Yakovlev Professor David Kinniment Dr Fei Xia	FIFO Buffer with Real-Time Interface	1999
Professor David Kinniment Professor Alex Yakovlev	Low power, low noise micropipelined flash A-D converter	1999
Dr Alex Bystrov Professor David Kinniment Professor Alex Yakovlev	Priority Arbiters	1999
Ian Bates Dr Graeme Chester Professor David Kinniment	Statechart based HW/SW codesign system	1999
Ian Bates Dr Graeme Chester Professor David Kinniment	Statechart based HW/SW codesign system	1999
Professor David Kinniment	Asynchronous Design Methods	1998
Dr Nick Coleman Professor David Kinniment Dr Frank Burns Dr Tim Butler Dr Albert Koelmans et al.	Effectiveness of computer-aided learning as a direct replacement for lecturing in degree-level electronics	1998
Professor David Kinniment	A computer-based teaching system for electronic design education	1997
Professor David Kinniment Professor Alex Yakovlev Bin Gao	MetaStable Behaviour in Arbiter Circuits	1997
Professor David Kinniment Bin Gao Professor Alex Yakovlev Dr Fei Xia	Towards Asynchronous A-D Conversion	1997
Dr Nick Coleman Professor David Kinniment Dr Frank Burns Dr Albert Koelmans	A Self-Taught Computer Engineering Course	1996
Dr Nick Coleman Professor David Kinniment Dr Frank Burns Dr Albert Koelmans	A Self-Taught Computer Engineering Course	1996
Professor David Kinniment	An evaluation of asynchronous addition	1996
Professor David Kinniment	Application-specific processor architectures for embedded control: Case studies	1996
Professor David Kinniment	Hierarchical placement method based on a force-directed algorithm with simultaneous global routing for sea-of-gates	1996
Professor Alex Yakovlev Dr Albert Koelmans Professor David Kinniment	Modelling, analysis and synthesis of asynchronous control circuits using Petri nets	1996
Professor Alex Yakovlev Dr Albert Koelmans Professor David Kinniment	Petri nets and asynchronous circuit design	1996
Professor Alex Yakovlev Dr Albert Koelmans Professor David Kinniment	Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets	1995
Dr Albert Koelmans Professor Alex Yakovlev Professor David Kinniment	PNIF: An Interchange Format for System Specification with Coloured Petri Nets	1995
Dr Frank Burns Professor David Kinniment Dr Albert Koelmans	STRIDE: A Tool for Formal Interactive Systems Synthesis	1994
Dr Albert Koelmans Dr Frank Burns Professor David Kinniment	Use of a Theorem Prover for Transformational Synthesis	1993
Dr Albert Koelmans Professor Alex Yakovlev Professor David Kinniment	System-level Design Based on Transformational Synthesis: Problems and Options	1992
Dr Frank Burns Professor David Kinniment Dr Albert Koelmans	Correct Interactive Transformational Synthesis of DSP Hardware	1991
Dr Frank Burns Professor David Kinniment Dr Albert Koelmans	Correct Interactive Transformational Synthesis of DSP Hardware	1991
Dr Albert Koelmans Professor David Kinniment	Modelling and Verification of Timing Conditions with the Boyer-Moore Prover	1991
Dr Albert Koelmans Professor David Kinniment	Verification of Timing Conditions Using a Theorem Prover	1991
Dr Albert Koelmans Martin McLauchlan Professor David Kinniment	Graphical Representation of a Hardware Description Language	1990
Emeritus Professor Satnam Dlay Dr Albert Koelmans Martin McLauchlan Professor David Kinniment	An Advanced VLSI Security Device Employing Data Verification Features	1988
Dr Albert Koelmans Martin McLauchlan Professor David Kinniment	Asynchronous Extensions to the STRICT High Level Design System	1988
Dr Albert Koelmans Martin McLauchlan Professor David Kinniment	Asynchronous Extensions to the STRICT High Level Design System	1988