Modeling and verification of a programmable mixed-signal device using Verilog | IEEE Conference Publication | IEEE Xplore