Architectural system modeling for correct-by-construction RTL design | IEEE Conference Publication | IEEE Xplore