/misc/yosysjs/