Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Vinícius Dal Bem. SAT based environment for logical capacity evaluation of via configurable block templates. PhD thesis, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil, 2016. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: SAT-Based Formulation for Logical Capacity Evaluation of VIA-Configurable Structured ASICVinícius Dal Bem, Felipe S. Marranghello, André Inácio Reis, Renato P. Ribas. tetc, 5(2):247-259, 2017. [doi]
The following publications are possibly variants of this publication: