Vida Vakilotojar

According to our database, Vida Vakilotojar authored at least 2 papers in 1997.

Collaborative distances:

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

1997

The Design and Verification of A High-Performance Low-Control-Overhead Asynchronous Differential Equation Solver.

Kenneth Y. Yun, Ayoob E. Dooply, Julio Arceo, Peter A. Beerel, Vida Vakilotojar

Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997

RTL verification of timed asynchronous and heterogeneous systems using symbolic model checking.

Vida Vakilotojar, Peter A. Beerel

Proceedings of the ASP-DAC '97 Asia and South Pacific Design Automation Conference, 1997