Modeling multi-valued circuits in SystemC* | IEEE Conference Publication | IEEE Xplore