Changelog

This document describes changes to the public interfaces in the nMigen language and standard library. It does not include most bug fixes or implementation changes.

Toolchain changes

• Added: debug_verilog override in build.TemplatedPlatform.

• Added: Formal Correctness support for smt2 IEEE754 FP via SymbiYosys

Platform integration changes

• Added: OSCH as default_clk clock source in vendor.lattice_machxo_2_3l.LatticeMachXO2Or3LPlatform.

Version 0.3

Features deprecated in version 0.2 have been removed.

Migrating from version 0.2

Apply the following changes to code written against nMigen 0.2 to migrate it to nMigen 0.3:

• Update import nmigen as nm explicit prelude imports to be import nmigen as am, and adjust the code to use the am.* namespace.

• Update import nmigen.* imports to be import nmigen.*.

• Update import nmigen_boards.* imports to be import nmigen_boards.*.

• Update board definitions using vendor.lattice_machxo2.LatticeMachXO2Platform to use vendor.lattice_machxo_2_3l.LatticeMachXO2Platform.

• Update board definitions using vendor.xilinx_spartan_3_6.XilinxSpartan3APlatform, vendor.xilinx_spartan_3_6.XilinxSpartan6Platform, vendor.xilinx_7series.Xilinx7SeriesPlatform, vendor.xilinx_ultrascale.XilinxUltrascalePlatform to use vendor.xilinx.XilinxPlatform.

• Switch uses of hdl.ast.UserValue to ValueCastable; note that ValueCastable does not inherit from Value, and inheriting from Value is not supported.

• Switch uses of back.pysim to sim.

• Add an explicit ports= argument to uses of back.rtlil.convert() and back.verilog.convert() if missing.

• Remove uses of test.utils.FHDLTestCase and vendor the implementation of test.utils.FHDLTestCase.assertFormal if necessary.

While code that uses the features listed as deprecated below will work in nMigen 0.3, they will be removed in the next version.

Language changes

• Added: Value can be used with abs().

• Added: Value.rotate_left() and Value.rotate_right().

• Added: Value.shift_left() and Value.shift_right().

• Added: ValueCastable.

• Deprecated: ast.UserValue; use ValueCastable instead.

• Added: Divison and modulo operators can be used with a negative divisor.

Standard library changes

• Added: cdc.PulseSynchronizer.

• Added: cdc.AsyncFFSynchronizer.

• Changed: fifo.AsyncFIFO is reset when the write domain is reset.

• Added: fifo.AsyncFIFO.r_rst is asserted when the write domain is reset.

• Added: fifo.FIFOInterface.r_level and fifo.FIFOInterface.w_level.

Toolchain changes

• Changed: Backend and simulator reject wires larger than 65536 bits.

• Added: Backend emits Yosys enumeration attributes for enumeration-shaped signals.

• Added: If a compatible Yosys version is not installed, back.verilog will fall back to the nmigen-yosys PyPI package. The package can be installed as nmigen[builtin-yosys] to ensure this dependency is available.

• Added: back.cxxrtl.

• Added: sim, a simulator interface with support for multiple simulation backends.

• Deprecated: back.pysim; use sim instead.

• Removed: The with Simulator(fragment, ...) as sim: form.

• Removed: sim.Simulator.add_process() with a generator argument.

• Deprecated: sim.Simulator.step(); use sim.Simulator.advance() instead.

• Added: build.BuildPlan.execute_remote_ssh().

• Deprecated: test.utils.FHDLTestCase, with no replacement.

• Deprecated: back.rtlil.convert() and back.verilog.convert() without an explicit ports= argument.

• Changed: VCD output now uses a top-level “bench” module that contains testbench only signals.

Platform integration changes

• Added: SB_LFOSC and SB_HFOSC as default_clk clock sources in lattice_ice40.LatticeICE40Platform.

• Added: lattice_machxo2.LatticeMachXO2Platform generates binary (.bit) bitstreams.

• Added: lattice_machxo_2_3l.LatticeMachXO3LPlatform.

• Deprecated: lattice_machxo2; use lattice_machxo_2_3l.LatticeMachXO2Platform instead.

• Removed: xilinx_7series.Xilinx7SeriesPlatform.grade; this family has no temperature grades.

• Removed: and xilinx_ultrascale.XilinxUltrascalePlatform.grade; this family has temperature grade as part of speed grade.

• Added: Symbiflow toolchain support for xilinx_7series.Xilinx7SeriesPlatform.

• Added: lattice_machxo_2_3l.LatticeMachXO2Or3LPlatform generates separate Flash and SRAM SVF programming vectors, {{name}}_flash.svf and {{name}}_sram.svf.

• Deprecated: lattice_machxo_2_3l.LatticeMachXO2Or3LPlatform SVF programming vector {{name}}.svf; use {{name}}_flash.svf instead.

• Added: quicklogic.QuicklogicPlatform.

• Added: cyclonev_oscillator as default_clk clock source in intel.IntelPlatform.

• Added: add_settings and add_constraints overrides in intel.IntelPlatform.

• Added: xilinx.XilinxPlatform.

• Deprecated: xilinx_spartan_3_6.XilinxSpartan3APlatform, xilinx_spartan_3_6.XilinxSpartan6Platform, xilinx_7series.Xilinx7SeriesPlatform, xilinx_ultrascale.XilinxUltrascalePlatform; use xilinx.XilinxPlatform instead.

• Added: Mistral toolchain support for intel.IntelPlatform.

• Added: synth_design_opts override in xilinx.XilinxPlatform.

Versions 0.1, 0.2

No changelog is provided for these versions.