Ähnliche Einträge: Logic Synthesis and Verification Algorithms /