ADEN: an environment for digital receiver ASIC design | IEEE Conference Publication | IEEE Xplore