Long-term on-chip verification of systems with logical events scattered in time | Publicación