An object oriented environment for modeling and synthesis of hardware circuits | IEEE Conference Publication | IEEE Xplore