Skip to content

v0.7.1

Latest
Latest
Compare
Choose a tag to compare
@lethalbit lethalbit released this 20 Nov 18:24
v0.7.1
This tag was signed with the committer’s verified signature.
lethalbit Aki
GPG key ID: 58B2EF8A70E7F62C
Learn about vigilant mode.
f8716fe
This commit was signed with the committer’s verified signature.
lethalbit Aki
GPG key ID: 58B2EF8A70E7F62C
Learn about vigilant mode.

Important

This release is effectively the full 0.7.0 release with the minor bug that slipped in fixed, use this instead of v0.7.0

Torii can be installed from the wheel attached or from PyPi

Added

  • Added new torii.platform.formal.FormalPlatform for formal verification of Torii designs.
  • Added formal platform examples
  • Added Value.inc() and Value.dec() calls to help deal with the sig.eq(sig + 1) pattern that is all too common.
  • Added explicit mention of Python 3.13 support.
  • Added structured records to allow for ease of typing torii.hdl.rec.Record's

Changed

  • Torii Elaboratable's now have a new optional formal function for use in formal verification with the Torii FormalPlatform.
  • Torii platforms now have get_override_list and get_override_int overrides for platform template support.
  • Torii platforms now have optional description and pretty_name properties.
  • Use of read_ilang has been replaced with read_rtlil in the Gowin platform, which was the only platform that used the deprecated Yosys command.

Deprecated

  • Moved the contents of torii.asserts to torii.lib.formal.

Removed

  • Removed deprecated log2_int
  • Removed deprecated torii.platform.vendor.intel Module
  • Removed deprecated parameter run_script from BuildPlan.execute_local

Fixed

  • Fixed huge chunk of typing, lots to do but should improve useability and ergonomics.
  • Fixed a resource layout issue within the torii.platform.resources.interface.HyperBusResource
  • Fixed a bug with typing asserts that caused resource unwinding to fail on differential pairs.
Assets 4
Loading