A Symbolic Functional Description Language | IEEE Conference Publication | IEEE Xplore