Vida Vakilotojar, Ph.D. - Publications
Affiliations: | 2000 | University of Southern California, Los Angeles, CA, United States |
Area:
Electronics and Electrical Engineering, Computer ScienceYear | Citation | Score | |||
---|---|---|---|---|---|
1998 | Yun KY, Beerel PA, Vakilotojar V, Dooply AE, Arceo J. The design and verification of a high-performance low-control-overhead asynchronous differential equation solver Ieee Transactions On Very Large Scale Integration Systems. 6: 643-655. DOI: 10.1109/92.736138 | 0.392 | |||
1997 | Vakilotojar V, Beerel PA. RTL verification of timed asynchronous and heterogeneous systems using symbolic model checking Integration. 24: 19-35. DOI: 10.1016/S0167-9260(97)00023-0 | 0.392 | |||
Show low-probability matches. |