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