Vineesh V. S.

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 3

Top Topics

Genetic Operators

Quality Guarantees

Top Venues

Publications

Harsh Bhargav, Vineesh V. S., Binod Kumar, Virendra Singh
Enhancing Testbench Quality via Genetic Algorithm. MWSCAS (2021)
Vinod G. U, Vineesh V. S., Jaynarayan T. Tudu, Masahiro Fujita, Virendra Singh
LUT-based Circuit Approximation with Targeted Error Guarantees. ATS (2020)
Vineesh V. S., Binod Kumar, Rushikesh Shinde, Akshay Jaiswal, Harsh Bhargava, Virendra Singh
Orion: A Technique to Prune State Space Search Directions for Guidance-Based Formal Verification. ATS (2019)