Tarik Ono-Tesfaye

According to our database, Tarik Ono-Tesfaye authored at least 4 papers between 1998 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

A modular synchronizing FIFO for NoCs.

Tarik Ono-Tesfaye, Mark R. Greenstreet

Proceedings of the Third International Symposium on Networks-on-Chips, 2009

1999

A Light-Weight Framework for Hardware Verification.

Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

A Fast, asP*, RGD Arbiter.

Mark R. Greenstreet, Tarik Ono-Tesfaye

Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '99), 1999

1998

Verifying a Self-Timed Divider.

Tarik Ono-Tesfaye, Christoph Kern, Mark R. Greenstreet

Proceedings of the 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '98), 30 March, 1998