Interaction semantics of a symbolic layout editor for parameterized modules | IEEE Journals & Magazine | IEEE Xplore