C. Rama Mohan

发表

Formal verification coverage: computing the coverage gap between temporal specifications

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

Methods for Synthesis of PLA-based FSM ’s

C. Rama Mohan, 1994 .