From a580192483253c117d9078695d0624bc2d0b6f96 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Thu, 1 Sep 2022 23:32:02 -0700 Subject: [PATCH] format code --- src/openpower/decoder/formal/test_decoder.py | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/src/openpower/decoder/formal/test_decoder.py b/src/openpower/decoder/formal/test_decoder.py index ae53efb5..968ae723 100644 --- a/src/openpower/decoder/formal/test_decoder.py +++ b/src/openpower/decoder/formal/test_decoder.py @@ -4,14 +4,15 @@ from nmutil.formaltest import FHDLTestCase from openpower.decoder.power_decoder import create_pdecode, PowerOp from openpower.decoder.power_enums import (In1Sel, In2Sel, In3Sel, - OutSel, RC, Form, Function, - LdstLen, CryIn, - MicrOp, get_csv) + OutSel, RC, Form, Function, + LdstLen, CryIn, + MicrOp, get_csv) from openpower.decoder.power_decoder2 import (PowerDecode2, - Decode2ToExecute1Type) + Decode2ToExecute1Type) import unittest import pdb + class Driver(Elaboratable): def __init__(self): self.instruction = Signal(32, reset_less=True) @@ -29,7 +30,7 @@ class Driver(Elaboratable): self.m.submodules.pdecode2 = pdecode2 = PowerDecode2(pdecode) dec1 = pdecode2.dec - self.comb += pdecode2.dec.bigendian.eq(1) # TODO: bigendian=0 + self.comb += pdecode2.dec.bigendian.eq(1) # TODO: bigendian=0 self.comb += pdecode2.dec.raw_opcode_in.eq(self.instruction) # ignore special decoding of nop @@ -61,7 +62,6 @@ class Driver(Elaboratable): with self.m.Default(): self.comb += Assert(dec.op.internal_op == MicrOp.OP_ILLEGAL) - def handle_subdecoders(self, dec1, decoders): for dec in decoders.subdecoders: @@ -119,10 +119,12 @@ class Driver(Elaboratable): end = start return self.instruction[::-1][start:end+1] + class DecoderTestCase(FHDLTestCase): def test_decoder(self): module = Driver() self.assertFormal(module, mode="bmc", depth=4) + if __name__ == '__main__': unittest.main() -- 2.30.2