A design methodology and computer aids for digital VLSI systems | IEEE Journals & Magazine | IEEE Xplore