Rajeev Ranjan

Rajeev Ranjan

Synopsys Inc - Mountain View / United States
Others
AD Scientific Index ID: 4389690
-
person_outline Rajeev Ranjan's MOST POPULAR ARTICLES
1-) VIS: A system for verification and synthesisRK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ...International conference on computer aided verification, 428-432, 19969451996
2-) Efficient BDD algorithms for FSM synthesis and verificationRK Ranjan, A Aziz, RK Brayton, B Plessier, C PixleyIWLS95, Lake Tahoe, CA 253, 254, 19951781995
3-) Software deployment systemK Goger, A Bhatt, S Raghunandan, R Ranjan, A KumarUS Patent 7,950,010, 20111342011
4-) A performance study of BDD-based model checkingB Yang, RE Bryant, DR O’Hallaron, A Biere, O Coudert, G Janssen, ...Formal Methods in Computer-Aided Design: Second International Conference …, 19981281998
5-) High performance BDD package by exploiting memory hierarchyJV Sanghavi, RK Ranjan, RK Brayton, A Sangiovanni-VincentelliProceedings of the 33rd annual Design Automation Conference, 635-640, 19961241996