Ravi Raja

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 1

Top Topics

Functional Properties

Top Venues

Publications

Ravi Raja, Stanly Samuel, Chiranjib Bhattacharyya, Deepak D'Souza, Aditya Kanade
BNSynth: Bounded Boolean Functional Synthesis. CoRR (2022)
Qing Yang, Ravi Raja
Design and Analysis of Multiple-Bus Arbiters with Different Priority Schemes. PARBASE / Architectures (1990)