| 2002 |
|---|
| 4 | EE | Rudolf Matousek,
Milan Tichý,
Zdenek Pohl,
Jiri Kadlec,
Christopher I. Softley,
Nick Coleman:
Logarithmic Number System and Floating-Point Arithmetics on FPGA.
FPL 2002: 627-636 |
| 2001 |
|---|
| 3 | EE | Felix Albu,
Jiri Kadlec,
Christopher I. Softley,
Rudolf Matousek,
Antonin Hermanek,
Nick Coleman,
Anthony Fagan:
Implementation of (Normalised) RLS Lattice on Virtex.
FPL 2001: 91-100 |
| 1997 |
|---|
| 2 | | Xiaoshan Li,
Antonio Cau,
Ben C. Moszkowski,
Nick Coleman,
Hussein Zedan:
Proving the correctness of the interlock mechanism in processor design.
CHARME 1997: 5-22 |
| 1996 |
|---|
| 1 | | Antonio Cau,
Hussein Zedan,
Nick Coleman,
Ben C. Moszkowski:
Using ITL and Tempura for Large-Scale Specification and Simulation.
PDP 1996: 493-500 |
