-
Name: Masahiro Fujita Date and Time: Thursday, January 14 at 3:00 p.m. Location:Engineering Hall 3206 Abstract: In this talk first we review the partial logic synthesis problem and its associated algorithm based on QBF (Quantified Boolean Formula) formulation. Partial logic synthesis is to generate appropriate sub-circuits for the missing portions in the target design so that the entire […]