V-SAT: a visual specification and analysis tool for system-on-chip exploration | IEEE Conference Publication | IEEE Xplore