Modeling and design of digital electronic systems | IEEE Conference Publication | IEEE Xplore