computer software for logic and system design and testing