The design of an integrated environment for the automated synthesis of small computer systems | IEEE Conference Publication | IEEE Xplore