Switch-level timing models in the MOS simulator BRASIL | IEEE Conference Publication | IEEE Xplore