Login / Signup
Krishna Agrawal
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Model Checker
Chip Design
Temporal Logic
Simultaneous Optimization
Top Venues
ISQED
VLSID
</>
Publications
</>
Rushabh Shah
,
Krishna Agrawal
,
G. Anjaneyulu
,
Vishnu Bhaskari
Automated Debugger for Optimum Physical Clock Structure Targeting Minimal Latency.
VLSID
(2022)
Rushabh Shah
,
Krishna Agrawal
Formal Verification Aware Redundant Sequential Logic Optimization to Improve Design Utilization.
ISQED
(2021)