2. Using FDR

This chapter describes the basic structure and interface of the FDR tool. The FDR graphical user interface is based on John Ousterhout's Tcl and Tk toolkits. It is designed to be familiar to users of Motif, SAA, or Microsoft Windows style applications(4).

2.1 The Main Window
2.2 On-line Help

2.3 File and Model Commands
2.4 The Assertion List
2.5 The Process List
2.6 The Tab Pane

2.7 Options
2.8 Tab Bar Commands
2.9 The FDR Process Debugger

2.10 Interface Conventions