|[ < ]||[ > ]||[ << ]||[ Up ]||[ >> ]||[Top]||[Contents]||[Index]||[ ? ]|
In order to make a synthesis of a finite state machine, one must specify a gate library.
For opening a library:
Library->Open Import Gate Library;
OKbutton if you want to rename the opened library;