Author:
Moondanos John,Seger Carl H.,Hanna Ziyad,Kaiss Daher
Publisher
Springer Berlin Heidelberg
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Design partitioning for large-scale equivalence checking and functional correction;Proceedings of the 53rd Annual Design Automation Conference;2016-06-05
2. Equivalence Checking;Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology;2016-04-14
3. Can we trust module-respect heuristics?;Reliability Engineering & System Safety;2013-03
4. A DIVIDE-AND-CONQUER STRATEGY FOR QUALITATIVE SIMULATION AND FUZZY IDENTIFICATION OF COMPLEX DYNAMICAL SYSTEMS;International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems;2011-06
5. Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders;Formal Methods in Computer-Aided Design;2004