Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Jian Hu, Tun Li, Sikun Li. Equivalence checking between SLM and TLM using coverage directed simulation. Frontiers of Computer Science in China, 9(6):934-943, 2015. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Equivalence Checking between SLM and TLM Using Coverage Directed SimulationJian Hu, Tun Li, Sikun Li. cadgraphics 2013: 101-106 [doi] Equivalence checking between SLM and RTL using machine learning techniquesJian Hu, Tun Li, Sikun Li. isqed 2016: 129-134 [doi] Formal equivalence checking between SLM and RTL descriptionsJian Hu, Tun Li, Sikun Li. socc 2015: 131-136 [doi]
The following publications are possibly variants of this publication: