openpower.decoder.formal package¶

Submodules¶

openpower.decoder.formal.proof_decoder module¶

class openpower.decoder.formal.proof_decoder.DecoderTestCase(methodName='runTest')¶

Bases: nmutil.formaltest.FHDLTestCase

test_decoder()¶

class openpower.decoder.formal.proof_decoder.Driver¶

Bases: nmigen.hdl.ir.Elaboratable

assert_dec1_decode(dec1, decoders)¶

assert_dec1_signals(dec, row)¶

assert_form(dec, dec2)¶

elaborate(platform)¶

handle_subdecoders(dec1, decoders)¶

instr_bits(start, end=None)¶

openpower.decoder.formal.proof_decoder2 module¶

class openpower.decoder.formal.proof_decoder2.Decoder2TestCase(methodName='runTest')¶

Bases: nmutil.formaltest.FHDLTestCase

test_decoder2()¶

class openpower.decoder.formal.proof_decoder2.Driver¶

Bases: nmigen.hdl.ir.Elaboratable

elaborate(platform)¶

exts(exts_data, width, fullwidth)¶

instr_bits(start, end=None)¶

test_in1(pdecode2, pdecode)¶

test_in2()¶

test_in2_fields()¶

test_in3()¶

test_out()¶

test_rc()¶

test_single_bits()¶

Module contents¶