Software Engineering, Formal Methods, Verification, EDA Tools, Computational Neuroscience
-
Newcastle University
- Newcastle upon Tyne, UK
- https://black-extruder.net
Pinned Loading
-
-
tuura/sync-models
tuura/sync-models PublicTool for creating synchronous models and behavioral specifications for asynchronous circuits
Verilog 6
-
languagetool-sublime
languagetool-sublime PublicProof-reading and grammar checker for English, French, German, Polish and 20+ other languages
-
xprova/bisect-tau
xprova/bisect-tau PublicEDA tool for characterizing the metastability resolution time constant (Tau) of bistable circuits
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.