JBits ™ Design Abstractions | IEEE Conference Publication | IEEE Xplore