soc.fu.div.formal package

Submodules

soc.fu.div.formal.proof_main_stage module

Links:
class soc.fu.div.formal.proof_main_stage.Driver

Bases: nmigen.hdl.ir.Elaboratable

elaborate(platform)
popcount(sig, width)
class soc.fu.div.formal.proof_main_stage.LogicalTestCase(methodName='runTest')

Bases: nmutil.formaltest.FHDLTestCase

test_formal()
test_ilang()

Module contents