Logic Synthesis and Verification Algorithms
Hachtel, Gary D. Somenzi, Fabio
Logic Synthesis and Verification Algorithms - Kluwer Academic Publishers 1996. - 597 Pages
0306475928
621.39/5 /
Logic Synthesis and Verification Algorithms - Kluwer Academic Publishers 1996. - 597 Pages
0306475928
621.39/5 /