Daniel is a PhD student currently working on tools for validating mixed-signal systems. He received his bachelor's degree from Princeton University in 2018. His research interests include designing analog and digital hardware as well as creating tools that make hardware design faster and easier.
fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components
International Conference on Computer Aided Verification
View details for DOI 10.1007/978-3-030-53288-8_19