VWSIM: A Circuit Simulator. - Warren A. Hunt Jr.; Vivek Ramanathan; J Strother Moore (ACL2, 2022)