Axilog: Language support for approximate hardware design | IEEE Conference Publication | IEEE Xplore