Opening a gate (cell) library

In order to make a synthesis of a finite state machine, one must specify a gate library.

For opening a library:

• Choose from the main menu Library->Open Import Gate Library;
  

• Choose from the "Gate library selection" dialog box the library file
  (the default extension for the library file is .genlib);
  

• Click the OK button;
• In the "Rename library" dialog box that appear, input a new name and click the OK button if you want to rename the opened library;
• If you don't want to rename the library, click Cancel.