Logic Synthesis and Verification Algorithms - Hachtel (Gary D); Somenzi (Fabio) (2006)
Algorithms
22.5
Keywords: Algorithms