Gate Library Files

While HAL also supports standard cell libraries provided in liberty format, it comes with a number of custom HAL Gate Library (HGL) files for common standard cell libraries by default. Notably, these libraries cannot be used for hardware design and are optimized for use within HAL. These files are currently located in the gate_libraries plugin and are automatically parsed into internal gate libraries on startup.

Warning: While we do provide these gate library files for convenience, we do not claim or guarantee completeness or correctness. The following gate libraries are provided with the standard installation of HAL:

• Xilinx UNISIM
• Xilinx SIMPRIM
• ICE40 Ultra
• Nangate Open Cell Library
• LSI 10k

You may add additional gate libraries as desired. For a guide on how to produce a gate library file that can be read by HAL, please refer to the article on Creating a Gate Library.