Towards One-Pass Synthesisde Rolf DrechslerMateriasComputer scienceComputer aided designEdiciones (1)Towards One-Pass Synthesis (2002)Springer Netherlands · inglés · ISBN 9789401099004Más obras de Rolf DrechslerTest pattern generation using Boolean proof enginesAdvanced formal verificationHigh Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability