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 |
|