soc.experiment.formal package¶

Submodules¶

soc.experiment.formal.proof_alu_fsm module¶

class soc.experiment.formal.proof_alu_fsm.ALUFSMTestCase(methodName='runTest')¶

Bases: nmutil.formaltest.FHDLTestCase

test_formal()¶

static test_rtlil()¶

class soc.experiment.formal.proof_alu_fsm.Driver¶

Bases: nmigen.hdl.ir.Elaboratable

static elaborate(_)¶

soc.experiment.formal.proof_datamerger module¶

class soc.experiment.formal.proof_datamerger.DataMergerTestCase(methodName='runTest')¶

Bases: nmutil.formaltest.FHDLTestCase

test_formal()¶

test_ilang()¶

class soc.experiment.formal.proof_datamerger.Driver¶

Bases: nmigen.hdl.ir.Elaboratable

elaborate(platform)¶

Module contents¶