Using AIG in Verilog HDL, Autonomous Testing in a Family of Wien Bridge Cross Transducers | IEEE Conference Publication | IEEE Xplore