M1: a small computer system synthesis tool | IEEE Conference Publication | IEEE Xplore