Improving digital circuit simulation: A knowledge based approach | IEEE Conference Publication | IEEE Xplore