Assessment of computer-aided logic design | lit.salon