Verilog-A modeling and design of a micromachined capacitive accelerometer | IEEE Conference Publication | IEEE Xplore