Difference between revisions of "Black-tie Python: Formal verification with Amaranth"
Jump to navigation
Jump to search
Psychogenic (talk | contribs) |
|||
| (2 intermediate revisions by one other user not shown) | |||
| Line 8: | Line 8: | ||
==Downloads== | ==Downloads== | ||
* | |||
* Repository: [https://github.com/psychogenic/amaranth_testbench amaranth_testbench] | |||
* Slides: [https://inductive-kickback.com/downloads/blacktiepython.odp.bz2 blacktiepython.odp.bz2] (warning, kinda gigantic, because includes videos) | |||
* [https://peertube.f-si.org/videos/watch/c53b882b-479f-4f54-8311-dc6b14e6ac66 Video recording] | |||
==Abstract== | ==Abstract== | ||
| Line 20: | Line 23: | ||
==Software== | ==Software== | ||
===General information=== | ===General information=== | ||
* The software has been used in the following projects: [https://github.com/psychogenic/neptune Neptune] (TinyTapeout 3 project) | * The software has been used in the following projects: [https://github.com/psychogenic/neptune Neptune] (TinyTapeout 3 project) | ||
==References== | ==References== | ||
<references /> | <references /> | ||
Latest revision as of 22:21, 28 July 2023
- Speaker(s): Pat Deegan
- email: patd.fsic@psychogenic.net
- other information:
Co-founder at Psychogenic Technologies, public videos on a variety of tech topics are available on youtube @psychogenictechnologies.
Downloads
- Repository: amaranth_testbench
- Slides: blacktiepython.odp.bz2 (warning, kinda gigantic, because includes videos)
- Video recording
Abstract
Bugs are bad. Bugs breed in design complexity, the dark corners of murky interactions and unintended consequences. We avoid them with clarity and hunt them down with verification tools.
Python and Amaranth aid intelligibility, sim and cover reveal specific courses through the state space. Bounded model checking illuminates the obscure recesses, highlighting sneaky paths,and induction can actually prove correctness. We'll go over examples of all this and introduce some useful tools and techniques along the way.
Software
General information
- The software has been used in the following projects: Neptune (TinyTapeout 3 project)