Author:
Arbel Eli,Rokhlenko Oleg,Yorav Karen
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification and Synthesis of Clock-Gated Circuits;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2019-02
2. Dynamic Power Optimization Based on Formal Property Checking of Operations;2017 30th International Conference on VLSI Design and 2017 16th International Conference on Embedded Systems (VLSID);2017-01
3. metaSMT: focus on your application and not on solver integration;International Journal on Software Tools for Technology Transfer;2016-06-17
4. Attention-Based Coverage Metrics;Hardware and Software: Verification and Testing;2013