These are being made by Dialog and looking at the tools appear to be a relative of the GreenPAK devices. They were essentially very very small mixed signal programmable logic devices but the data sheets detailed every bit in the bitstream. With any luck these new parts will be the same. They are already using Yosys for synthesis.