A notation for describing multiple views of VLSI circuits | IEEE Conference Publication | IEEE Xplore