How to specify an algorithm in VLSI architectural synthesis? A vocal coding application | IEEE Conference Publication | IEEE Xplore