Formal methods for VLSI design | lit.salon