soc.fu.alu.formal package

Submodules

soc.fu.alu.formal.proof_input_stage module

class soc.fu.alu.formal.proof_input_stage.Driver

Bases: nmigen.hdl.ir.Elaboratable

elaborate(platform)

class soc.fu.alu.formal.proof_input_stage.GTCombinerTestCase(methodName='runTest')

Bases: nmutil.formaltest.FHDLTestCase

test_formal()

test_ilang()

soc.fu.alu.formal.proof_main_stage module

Links: * https://bugs.libre-soc.org/show_bug.cgi?id=306 * https://bugs.libre-soc.org/show_bug.cgi?id=305 * https://bugs.libre-soc.org/show_bug.cgi?id=343

class soc.fu.alu.formal.proof_main_stage.ALUTestCase(methodName='runTest')

Bases: nmutil.formaltest.FHDLTestCase

test_formal()

test_ilang()

class soc.fu.alu.formal.proof_main_stage.Driver

Bases: nmigen.hdl.ir.Elaboratable

elaborate(platform)

soc.fu.alu.formal.proof_output_stage module

Links: * https://bugs.libre-soc.org/show_bug.cgi?id=306 * https://bugs.libre-soc.org/show_bug.cgi?id=305 * https://bugs.libre-soc.org/show_bug.cgi?id=343

class soc.fu.alu.formal.proof_output_stage.Driver

Bases: nmigen.hdl.ir.Elaboratable

elaborate(platform)

class soc.fu.alu.formal.proof_output_stage.GTCombinerTestCase(methodName='runTest')

Bases: nmutil.formaltest.FHDLTestCase

test_formal()

test_ilang()

Module contents