<mkk_> [Tim Edwards, skywater-pdk] @Russell Friesenhahn ,@Noah Evans: There was somebody at Google working on this as of about a year and a half ago ("pre-pandemic era"), but I don't know what the current state of it is. I think the best person to ask other than Claire would be @Tim 'mithro' Ansell .
<mkk_> [Rob Taylor, skywater-pdk] @Noah Evans have you tried surelog? I belive that is integrated already (maybe only in antmicro’s yosys repo?)
<mkk_> [Noah Evans, skywater-pdk] Hey guys, I managed to answer my own question.
<mkk_> [Noah Evans, skywater-pdk] I talk to Claire quite a bit.
<mkk_> [Noah Evans, skywater-pdk] Normally Yosys needs a verific frontend but it looks like the surelog UHDM output can be turned into a Yosys AST via a custom frontend.
<mkk_> [Noah Evans, skywater-pdk] @ @Russell Friesenhahn @Tim 'mithro' Ansell
<mkk_> [Russell Friesenhahn, skywater-pdk] @Noah Evans What's your plan for simulating the SV source?
<mkk_> [Noah Evans, skywater-pdk] @Russell Friesenhahn we don’t really care for the moment. Our goal with Yosys is verification. Sandia uses commercial tools for simulation AFAIK.
<mkk_> [Noah Evans, skywater-pdk] The real issue will be how much of the original SV AST gets lost in the UHDM conversion.
<mkk_> [Noah Evans, skywater-pdk] If there’s a nice correspondence then we’re golden.
<mkk_> [Rob Taylor, skywater-pdk] @Noah Evans I’d be really interested to hear how it goes!
<mkk_> [Noah Evans, skywater-pdk] @ I will definitely try it out when I get some free time.
<mkk_> [Rob Taylor, skywater-pdk] Fwiw, as I understand it there are also patches for sure log/uhdm with verilator, and plans afoot for verilator to get enough event driven stuff to be able to handle Sv UVM
<mkk_> [Noah Evans, skywater-pdk] Interesting. We use UVM quite extensively too. Thank you.
<mkk_> [Rob Taylor, skywater-pdk] You’re welcome. In time I’d love to get together a big set of propriety IP and VIP to test all this against and compare with verific
<mkk_> [Noah Evans, skywater-pdk] We have a verific license as well.
mkk_ has left #skywater-pdk [#skywater-pdk]
mkk_ has joined #skywater-pdk
m_w has quit [Quit: Leaving]
mkk_ has left #skywater-pdk [#skywater-pdk]
mkk_ has joined #skywater-pdk
<mkk_> [Tim 'mithro' Ansell, skywater-pdk] @Noah Evans The best documentation is at https://antmicro.com/blog/2020/12/ibex-support-in-verilator-yosys-via-uhdm-surelog/
<mkk_> [Tim 'mithro' Ansell, skywater-pdk] @Noah Evans Please do note it is a work in progress, still lots of work to be done
<mkk_> [Tim 'mithro' Ansell, skywater-pdk] @Noah Evans I highly recommend joining the CHIPS Alliance and the SystemVerilog tooling group too
<mkk_> [Tim 'mithro' Ansell, skywater-pdk] @Noah Evans Take a look at https://github.com/alainmarcel/uhdm-integration/issues too
<mkk_> [Tim 'mithro' Ansell, skywater-pdk] @Noah Evans If you message me an email address, I can send you a collection of useful links
<mkk_> [Noah Evans, skywater-pdk] @Tim 'mithro' Ansell Thank you! My email address is nevans@sandia.gov . This is all extremely useful, there’s a strong interest in formal both for hardware and software designs at Sandia. The main thing stopping us has been system verilog support. We’ve gotten around that with Verific but the UHDM work looks extremely promising. Especially if it’s easier to trace counter examples in the generated F
<mkk_> [Tim 'mithro' Ansell, skywater-pdk] @Noah Evans you might also want to checkout Google's "Project OAK" and the work Satnam Singh is doing
<mkk_> [Tim 'mithro' Ansell, skywater-pdk] @Noah Evans https://github.com/project-oak/oak
<mkk_> [Tim 'mithro' Ansell, skywater-pdk] @Noah Evans Also https://twitter.com/arjenroodselaar/status/1346757412737302529
<mkk_> [Noah Evans, skywater-pdk] @Tim 'mithro' Ansell I talk to Satnam and Dom every once in a while. Silver Oak and all the Coq based infrastructure is very attractive to us. We were funding Adam Chlipala’s group at MIT (as is Satnam) to work on their Koika language until the continuing resolution. I know you guys (meaning a group a google) was using Bluespec at one point. Is that gaining any traction?
<mkk_> [Tim 'mithro' Ansell, skywater-pdk] @Noah Evans Not really for complicated reasons not to do with the language
<mkk_> [Tim 'mithro' Ansell, skywater-pdk] @Noah Evans OpenTitan is one of my primary targets for the UHDM + Yosys and UHDM + Verilator work
<mkk_> [Tim 'mithro' Ansell, skywater-pdk] As you can see from the uhdm-integration issue list we are burning down all the issues with Earlgrey, one of OpenTitan's designs
<mkk_> [Noah Evans, skywater-pdk] Hah, now that I look at the tags that’s doubly obvious.
<mkk_> [Tim 'mithro' Ansell, skywater-pdk] https://github.com/nturley/netlistsvg/issues/26
mkk_ has left #skywater-pdk [#skywater-pdk]
mkk_ has joined #skywater-pdk