DRECHSLER ROLF

Method for validating simulation results of a system as well as equivalence comparison of digital circuits based on said method