IBIS Development Studio (IBISDS) is capable of viewing, editing and verifying IBIS models. You can view and edit the IBIS model in a graphical or in a text mode, just what you need for your task. The model verification is done using the golden parser (IBIS version 5.0) and can be called directly from the IBISDS user interface.