Using IDesignSpec to Help Build an AI Chip