A Framework for Automatic Assembly Program Generator (A2PG) for Verification and Testing of Processor Cores. - K. Uday Bhaskar; M. Prasanth; V. Kamakoti 001; Kailasnath Maneparambil (Asian Test Symposium, 2005)

A Scalable Symbolic Simulator for Verilog RTL. - Sasidhar Sunkari; Supratik Chakraborty; Vivekananda M. Vedula; Kailasnath Maneparambil (MTV, 2007)