New to CIRCT; Is there example using CIRCT to FIRRTL-to-ASAP7 synthesis?

So CIRCT backend can generate FIRRTL, I think it is certainly possible to use this VLSI flow, and I also think that there is no additional process to be done to use this after generation of FIRRTL from CIRCT MLIR. Is it right?