Observability-based RTL simulation using Java | IEEE Conference Publication | IEEE Xplore