A verification concept for microcontroller peripheral development and system integration | IEEE Conference Publication | IEEE Xplore