Design and Analysis of Multiple-Bus Arbiters with Different Priority Schemes. - Qing Yang 001; Ravi Raja (PARBASE / Architectures, 1990)

BNSynth: Bounded Boolean Functional Synthesis. - Ravi Raja; Stanly Samuel; Chiranjib Bhattacharyya; Deepak D'Souza; Aditya Kanade 001 (CoRR, 2022)