Bipin Ravi

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 2

Top Topics

Computational Framework

Bayesian Networks

Top Venues

Publications

Kaushik Gopalakrishnan, Bipin Ravi
Anvil: Best in Class Multiprocessor Coherency Verification Tool. MTV (2017)
Madhukarreddy Pappireddy, Bipin Ravi
SequenceLanguage: A Constraint Random MP-RIS Generation Framework. MTV (2017)