Microprocessor development using SFL for educational purposes | IEEE Conference Publication | IEEE Xplore