Recent searches

No recent searches

Search options

Only available when logged in.
sigmoid.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A social space for people researching, working with, or just interested in AI!

Administered by:

Server stats:

552
active users

sigmoid.social: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.8

#symbiyosys

0 posts0 participants0 posts today
Niels Moseley<p>You can quite easily write formal tests that don’t test what you think they test. <a href="https://mastodon.social/tags/vhdl" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>vhdl</span></a> <a href="https://mastodon.social/tags/asic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>asic</span></a> <a href="https://mastodon.social/tags/symbiyosys" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>symbiyosys</span></a> <a href="https://mastodon.social/tags/smt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>smt</span></a></p>
Niels Moseley<p>Trying to do formal <a href="https://mastodon.social/tags/verification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>verification</span></a> on a <a href="https://mastodon.social/tags/VHDL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>VHDL</span></a> UART using PSL. the tools are working but I have yet to fully grasp the syntax and possibilities. So far I am finding some interesting corner cases mostly involving reset. <a href="https://mastodon.social/tags/SymbiYosys" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SymbiYosys</span></a> <a href="https://mastodon.social/tags/GHDL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GHDL</span></a></p>
TrendingLive feeds
About