00:56 <_whitenotifier-1> [YoWASP/yosys] whitequark pushed 1 commit to develop [+0/-0/±1] https://git.io/JX6s0

00:56 <_whitenotifier-1> [YoWASP/yosys] whitequark 9fd460e - Update dependencies.

04:45 <d1b2> <TheManiacalLemon> Does anyone know if using the nmigen.cli module allows you to add read_verilog statements to Yosys when generating cxxrtl or IL? I want to generate the cxxrtl output, but also make use of an Instance that is provided in a separate .v file

04:47 <d1b2> <TheManiacalLemon> Understandably since it hasn't processed the input, I get the following error: nmigen._toolchain.yosys.YosysError: ERROR: Unknown cell `counter'.

04:47 <d1b2> <TheManiacalLemon> (where counter is a module inside counter.v)

04:56 <d1b2> <bob_twinkles> you want Platform::add_file

05:02 <d1b2> <TheManiacalLemon> In this case, the platform passed into elaborate is None, is that a problem? Or are you talking about a different API

05:03 <d1b2> <TheManiacalLemon> my code just instantiates the top level module via its constructor and passes that into nmigen.cli.main()

05:05 <d1b2> <TheManiacalLemon> Well, I see main_runner takes a platform argument that defaults to None. I'll look to see if there's some platform I can pass in