EDIF: A Mechanism for the Exchange of Design Information | IEEE Journals & Magazine | IEEE Xplore