- Tytuł:
- SMTBDD : New Form of BDD for Logic Synthesis
- Autorzy:
-
Kubica, M.
Kania, D. - Data publikacji:
- 2016
- Wydawca:
- Polska Akademia Nauk. Czytelnia Czasopism PAN
- Tematy:
-
logic synthesis
SMTBDD
decomposition
technology mapping
FPGA
digital circuits - Dostawca treści:
- Biblioteka Nauki
Artykuł