Hardware specification, verification, and synthesis | lit.salon