RTL Intermediate Language (RTLIL)

See The RTL Intermediate Language page for specifics directly from yosys.