Bijitendra Mittra

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 1

Top Topics

Formal Verification

Domain Independent

Top Venues

Publications

Aman Kumar, Muhammad Ul Haque Khan, Bijitendra Mittra
Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC). CoRR (2024)
Lopamudra Sen, Amit Roy, Supriya Bhattacharjee, Bijitendra Mittra, Subir K. Roy
DFT logic verification through property based formal methods - SOC to IP. FMCAD (2010)