"Equivalence checking between SLM and RTL using machine learning techniques."

Jian Hu, Tun Li, Sikun Li (2016)

Details and statistics

DOI: 10.1109/ISQED.2016.7479188

access: closed

type: Conference or Workshop Paper

metadata version: 2017-05-25

a service of  Schloss Dagstuhl - Leibniz Center for Informatics