[IEEE 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Dresden, Germany (2018.3.19-2018.3.23)] 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Towards fully automated TLM-to-RTL property refinement
Herdt, Vladimir, Le, Hoang M., Grose, Daniel, Drechsler, RolfYear:
2018
Language:
english
DOI:
10.23919/DATE.2018.8342253
File:
PDF, 149 KB
english, 2018