computer aided design software for testing, verifying and debugging digital hardware designs, which are based on a hardware description language