The CADEC VLSI design support methodology | IEEE Conference Publication | IEEE Xplore