soc.fu.compunits.formal package¶

Submodules¶

soc.fu.compunits.formal.proof_fu module¶

class soc.fu.compunits.formal.proof_fu.Driver¶

Bases: nmigen.hdl.ir.Elaboratable

elaborate(platform)¶

class soc.fu.compunits.formal.proof_fu.FUTestCase(methodName='runTest')¶

Bases: nmutil.formaltest.FHDLTestCase

test_formal()¶

test_ilang()¶

soc.fu.compunits.formal.test_compunit module¶

class soc.fu.compunits.formal.test_compunit.MaskGenTestCase(methodName='runTest')¶

Bases: nmutil.formaltest.FHDLTestCase

test_maskgen()¶

Module contents¶