soc.fu.shift_rot.formal package¶

Submodules¶

soc.fu.shift_rot.formal.proof_main_stage module¶

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

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

Bases: nmutil.formaltest.FHDLTestCase

test_formal()¶

test_ilang()¶

class soc.fu.shift_rot.formal.proof_main_stage.Driver¶

Bases: nmigen.hdl.ir.Elaboratable

elaborate(platform)¶

Module contents¶