![](/img/cover-not-exists.png)
[IEEE 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC) - Jeju, Korea (South) (2018.1.22-2018.1.25)] 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC) - A two-step search engine for large scale boolean matching under NP3 equivalence
Pui, Chak-Wa, Tu, Peishan, Li, Haocheng, Chen, Gengjie, Young, Evangeline F. Y.Year:
2018
Language:
english
DOI:
10.1109/ASPDAC.2018.8297387
File:
PDF, 153 KB
english, 2018