Methods of Modelling Digital Devices for Logic Simulation | IEEE Conference Publication | IEEE Xplore