V2Va: An Efficient Verilog-to-Verilog-A Translator for Accelerated Mixed-Signal Simulation | IEEE Conference Publication | IEEE Xplore