Not registered as user yet
Name:Koushik Sen
Affiliation:UC Berkeley
Contributions
PLARCH 2023 | Nerv: Probabilistic Dynamic Partial Order Reduction for Hardware New Embedded DSLs for Hardware Design and Verification | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile