Login / Signup
Vida Vakilotojar
Publication Activity (10 Years)
Years Active: 1997-1998
Publications (10 Years): 0
</>
Publications
</>
Kenneth Y. Yun
,
Peter A. Beerel
,
Vida Vakilotojar
,
Ayoob E. Dooply
,
Julio Arceo
The design and verification of a high-performance low-control-overhead asynchronous differential equation solver.
IEEE Trans. Very Large Scale Integr. Syst.
6 (4) (1998)
Kenneth Y. Yun
,
Ayoob E. Dooply
,
Julio Arceo
,
Peter A. Beerel
,
Vida Vakilotojar
The Design and Verification of A High-Performance Low-Control-Overhead Asynchronous Differential Equation Solver.
ASYNC
(1997)
Vida Vakilotojar
,
Peter A. Beerel
RTL verification of timed asynchronous and heterogeneous systems using symbolic model checking.
ASP-DAC
(1997)
Vida Vakilotojar
,
Peter A. Beerel
RTL verification of timed asynchronous and heterogeneous systems using symbolic model checking.
Integr.
24 (1) (1997)