@User searching bluespec ... see you are owner of skywater-pdk. Thanks. Please, is there any, has anyone, run a HOL/Coq/deepspec/bluespec/Agda or Pi-Ware: Hardware Description and Verification in Agda to yosis? Any recommendation for an approach? I suppose the output from formal spec would be input to yosis? Thanks again. Art