David Kinniment

发表

Alexandre Yakovlev, Fei Xia, David Kinniment, 1998, Proceedings Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems.

NoC Communication Strategies Using Time-to-Digital Conversion

Alexandre Yakovlev, David Kinniment, Crescenzo D'Alessandro, 2007, First International Symposium on Networks-on-Chip (NOCS'07).

SIMSTRICT: A Behavioural Simulator for Use with the STRICT Hardware Description Language (Short Note)

David Kinniment, A. P. Robson, 1992, Comput. J..

Modelling and Verification of Timing Conditions with the Boyer Moore Prover

David Kinniment, Albert Koelmans, 1992, TPCD.

Analysis of the oscillation problem in tri-flops

Alexandre Yakovlev, David Kinniment, Alexandre V. Bystrov, 2002, 2002 IEEE International Symposium on Circuits and Systems. Proceedings (Cat. No.02CH37353).

Priority arbiters

Alexandre Yakovlev, David Kinniment, Alexandre V. Bystrov, 2000, Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586).

Associative memories in large computer systems and An integrated associateve memory matrix

David Kinniment, David Aspinall, David B. G. Edwards, 1968, IFIP Congress.

A High Resolution Flash Time-to-Digital Converter Taking Into Account Process Variability

Gordon Russell, David Kinniment, Nikolaos Minas, 2007, 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'07).

Embedded high-resolution delay measurement system using time amplification

Gordon Russell, David Kinniment, M. Amir Abas, 2007, IET Comput. Digit. Tech..

An autolayout system for a hierarchical i.c. design environment

David Kinniment, H. K. E. Liesenberg, 1983, Integr..

Measuring deep metastability

Gordon Russell, David Kinniment, Keith Heron, 2006, 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'06).

A recursive design methodology for VLSI: Theory and example

N. H. C. Yung, David Kinniment, C. R. Allen, 1984, Integr..

An Experimental Paging Unit

Simon H. Lavington, David Kinniment, Alan E. Knowles, 1971, Comput. J..

Asynchronous communication mechanisms using self-timed circuits

Alexandre Yakovlev, Fei Xia, David Kinniment, 2000, Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586).

A synchronizer design based on wagging

Alexandre Yakovlev, David Kinniment, Mohammed Alshaikh, 2010, 2010 International Conference on Microelectronics.

Reduced-instruction set multi-microcomputer system

Richard P. Hopkins, Philip C. Treleaven, David Kinniment, 1984, AFIPS '84.

On the trade-off between resolution time and delay times in bistable circuits

Alexandre Yakovlev, David Kinniment, Mohammed Alshaikh, 2009, 2009 16th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2009).

Design of sub-10-picoseconds on-chip time measurement circuit

Gordon Russell, David Kinniment, M. Amir Abas, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

Measuring Deep Metastability and Its Effect on Synchronizer Performance

Alexandre Yakovlev, Gordon Russell, David Kinniment, 2007, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

Modelling, analysis and synthesis of asynchronous control circuits using Petri nets

Alexandre Yakovlev, David Kinniment, Albert Koelmans, 1996, Integr..

Synchronization and Arbitration in GALS

David Kinniment, 2009, Electron. Notes Theor. Comput. Sci..

Application-specific processor architectures for embedded control: case studies

David Kinniment, E. Kappos, D. Kinniment, 1996, Microprocess. Microsystems.

A Design Language for Asynchronous Logic

David Kinniment, A. K. Burston, Hilary J. Kahn, 1978, Comput. J..

On-chip structures for timing measurement and test

Alexandre Yakovlev, Gordon Russell, David Kinniment, 2003, Microprocess. Microsystems.

Sub-threshold synchronizer

Jun Zhou, Alexandre Yakovlev, Gordon Russell, 2011, Microelectron. J..

A statechart based HW/SW codesign system

David Kinniment, E. Graeme Chester, I. D. Bates, 1999, CODES '99.

On-Chip Structures for Timing Measurements and Test

Alexandre Yakovlev, Gordon Russell, David Kinniment, 2002, ASYNC.

Adapting Synchronizers to the Effects of on Chip Variability

Jun Zhou, Alexandre Yakovlev, Gordon Russell, 2008, 2008 14th IEEE International Symposium on Asynchronous Circuits and Systems.

Extending Synchronization from Super-Threshold to Sub-threshold Region

Jun Zhou, Gordon Russell, David Kinniment, 2010, 2010 IEEE Symposium on Asynchronous Circuits and Systems.

A robust synchronizer

Jun Zhou, Alexandre Yakovlev, Gordon Russell, 2006, IEEE Computer Society Annual Symposium on Emerging VLSI Technologies and Architectures (ISVLSI'06).

Low Latency Synchronization Through Speculation

Alexandre Yakovlev, David Kinniment, 2004, PATMOS.

Correct interactive transformational synthesis of DSP hardware

David Kinniment, Albert Koelmans, Frank P. Burns, 1991, Proceedings of the European Conference on Design Automation..

Built-in time measurement circuits - a comparative design study

Gordon Russell, David Kinniment, M. Amir Abas, 2007, IET Comput. Digit. Tech..

An evaluation of asynchronous addition

David Kinniment, 1996, IEEE Trans. Very Large Scale Integr. Syst..

A self-taught computer engineering course

David Kinniment, Albert Koelmans, Frank P. Burns, 1996, ACSE '96.

Synchronous and asynchronous A-D conversion

Alexandre Yakovlev, David Kinniment, B. Gao, 2000, IEEE Trans. Very Large Scale Integr. Syst..