An algebra for switch-level simulation | IEEE Conference Publication | IEEE Xplore