Publisher
Springer International Publishing
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits;2023 Design, Automation & Test in Europe Conference & Exhibition (DATE);2023-04
2. A Class of Polynomially Verifiable Circuits of Logarithmic Depth;2023 13th International Conference on Cloud Computing, Data Science & Engineering (Confluence);2023-01-19
3. Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued Logic;2022 IEEE 52nd International Symposium on Multiple-Valued Logic (ISMVL);2022-05
4. Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters;2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS);2022-04-06
5. Polynomial Formal Verification of Arithmetic Circuits;Proceedings of International Conference on Computational Intelligence and Data Engineering;2022