Cayetano Santos<p><a href="https://sigmoid.social/tags/cocotb" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cocotb</span></a>, a <a href="https://sigmoid.social/tags/freesoftware" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>freesoftware</span></a> cosimulation testbench environment for verifying <a href="https://sigmoid.social/tags/VHDL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>VHDL</span></a> and <a href="https://sigmoid.social/tags/SystemVerilog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SystemVerilog</span></a> <a href="https://sigmoid.social/tags/RTL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RTL</span></a> using <a href="https://sigmoid.social/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Python</span></a>, is part now of <a href="https://sigmoid.social/tags/guixscience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>guixscience</span></a> channel. It may be used as any other <a href="https://sigmoid.social/tags/guix" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>guix</span></a> package with a simple</p><p>guix install python-cocotb</p><p>This means too that pre-built substitutes are available online 🥳.</p><p><a href="https://sigmoid.social/tags/modernhw" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>modernhw</span></a></p>