On code coverage measurement for Verilog-A | IEEE Conference Publication | IEEE Xplore