Does the code match the design? A process for architecture evaluation | IEEE Conference Publication | IEEE Xplore