RTL verification of timed asynchronous and heterogeneous systems using symbolic model checking. - Vida Vakilotojar; Peter A. Beerel (Integr., 1997)

The design and verification of a high-performance low-control-overhead asynchronous differential equation solver. - Kenneth Y. Yun; Peter A. Beerel; Vida Vakilotojar; Ayoob E. Dooply; Julio Arceo (IEEE Trans. Very Large Scale Integr. Syst., 1998)