Tarik Ono-Tesfaye

Publication Activity (10 Years)

Years Active: 1998-2009
Publications (10 Years): 0

Publications

Tarik Ono-Tesfaye, Mark R. Greenstreet
A modular synchronizing FIFO for NoCs. NOCS (2009)
Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet
A light-weight framework for hardware verification. Int. J. Softw. Tools Technol. Transf. 3 (3) (2001)
Mark R. Greenstreet, Tarik Ono-Tesfaye
A Fast, asP*, RGD Arbiter. ASYNC (1999)
Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet
A Light-Weight Framework for Hardware Verification. TACAS (1999)
Tarik Ono-Tesfaye, Christoph Kern, Mark R. Greenstreet
Verifying a Self-Timed Divider. ASYNC (1998)