Logic Synthesis and Verification Algorithms | lit.salon