Java/sup TM/ in electronic design automation | IEEE Conference Publication | IEEE Xplore