Digital system modeling and synthesis as an introduction to Computer Systems Engineering | IEEE Conference Publication | IEEE Xplore