TOBOL-a new methodology for the top-to-bottom level hardware description in VLSI design-automation systems | IEEE Conference Publication | IEEE Xplore