A novel basis for logic rewriting

PROCEEDINGS ARTICLE published January 2017 in 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC)

Authors: Winston Haaswijk | Mathias Soeken | Luca Amaru | Pierre-Emmanuel Gaillardon | Giovanni De Micheli