R. Armoni

Formal verification coverage: computing the coverage gap between temporal specifications

Ansuman Banerjee, Pallab Dasgupta, Abhishek Das, 2004, ICCAD 2004.

A verification scheme for pipelined vector architectures

D. Geist, Y. Wolfsthal, R. Armoni, 1995, Eighteenth Convention of Electrical and Electronics Engineers in Israel.