Electronic design automation software for Linux