Author:
Ustaoglu Buse,Huhn Sebastian,Sill Torres Frank,Grosse Daniel,Drechsler Rolf
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SMT Solver with Hardware Acceleration;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2022
2. Edge Verification: Ensuring Correctness under Resource Constraints;2021 34th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design (SBCCI);2021-08-23