| OpenPR: An open-source partial-reconfiguration toolkit for Xilinx FPGAs AA Sohanghpurwala, P Athanas, T Frangieh, A Wood 2011 IEEE International Symposium on Parallel and Distributed Processing …, 2011 | 93 | 2011 |
| Hardware accelerated SAT solvers—A survey AA Sohanghpurwala, MW Hassan, P Athanas Journal of Parallel and Distributed Computing 106, 170-184, 2017 | 48 | 2017 |
| Optical replacement of pH electrode A Sohanghpurwala, G Rao, Y Kostov IEEE Sensors Journal 9 (3), 219-220, 2009 | 19 | 2009 |
| Private verification for FPGA bitstreams JP Graf, AAAA Sohanghpurwala, SJ Harper US Patent 10,902,132, 2021 | 13 | 2021 |
| An effective probability distribution SAT solver on reconfigurable hardware AA Sohanghpurwala, P Athanas 2016 International Conference on ReConFigurable Computing and FPGAs …, 2016 | 8 | 2016 |
| Verification of bitstreams JP Graf, AAAA Sohanghpurwala, SJ Harper US Patent 11,531,773, 2022 | 6 | 2022 |
| OpenPR: An Open-Source Partial Reconfiguration Tool-Kit for Xilinx FPGAs AAAA Sohanghpurwala Virginia Tech, 2010 | 5 | 2010 |
| Private Verification for FPGA Bitstreams J Graf, AA Sohanghpurwala GOMACTech 2017 Proceedings, 2017 | 3 | 2017 |
| A device-agnostic tool for precomputing legal placements in modular design flows AA Sohanghpurwala, P Athanas, A Love 2014 International Conference on ReConFigurable Computing and FPGAs …, 2014 | 1 | 2014 |
| Computer technology to ensure an electronic design automation (eda) implementation for electronic circuitry is traceable, auditable, and reproducible AA Sohanghpurwala, S Harper, J Graf, C Fraley, A Cook, T Dunham US Patent App. 17/950,341, 2023 | | 2023 |
| Exploits in Concurrency for Boolean Satisfiability AAAA Sohanghpurwala Virginia Tech, 2018 | | 2018 |
| Technical demonstrations session S Gao, J Watson, HA Andrade, S Skalicky, AG Schmidt, EGT Bostelmann, ... 2014 International Conference on ReConFigurable Computing and FPGAs …, 2014 | | 2014 |
