Leap frontend's documentation:
Verilog I/O:
readVerilog()
writeVerilog()
Graph Representation:
Netlist
Module
Port
Assignment
This section provides answers to common questions about the package.