Supported by the National Science Foundation (NSF grant #CCR9971168), Professor Myers and his colleagues demonstrated the viability of analog architectures for MAP decoders. This project led to the design of the first successful analog MAP decoder using strictly CMOS design. The fabricated chip was tested at bit rates of 1 Mb/s to 10 Mb/s with a typical power consumption of only 16uW. Under NSF CCF award 1117515, Professor Myers in collaboration with Professor Peng Li of Texas A&M integrated research in the area of analog circuit verification with analog testing, and applying this work to the challenges of modern analog circuit designs that include extensive digital components. During this project, we continued to develop our LEMA verification tool including improvements to our model generation tool, a new verification property language for analog/mixed-signal circuits, and new verification methods. This work built upon past projects supported by the Semiconductor Research Corporation and additional support from Intel Corporation.