Practical formal methods for hardware design | lit.salon