Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Polynomial Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures;2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL);2024-05-28
2. Polynomial Formal Verification of Approximate Adders with Constant Cutwidth;2024 IEEE European Test Symposium (ETS);2024-05-20
3. Polynomial Formal Verification exploiting Constant Cutwidth;Proceedings of the 34th International Workshop on Rapid System Prototyping;2023-09-21
4. Introduction;Decision Trees for Fault Diagnosis in Circuits and Switching Networks;2023
5. SPAR: A New Test-Point Insertion Using Shared Points for Area Overhead Reduction;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2022-11