computer software for the design, simulation, verification, compilation, emulation, modification, benchmarking, modeling and debugging of electronic systems