A value system for switch-level modeling | IEEE Journals & Magazine | IEEE Xplore