You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
115 lines
2.8 KiB
Python
115 lines
2.8 KiB
Python
from amaranth import *
|
|
from amaranth.utils import log2_int
|
|
|
|
|
|
__all__ = ["Interface"]
|
|
|
|
|
|
class Interface(Record):
|
|
"""Power-FV interface.
|
|
|
|
The interface between the formal testbench and the processor-under-test.
|
|
|
|
Attributes
|
|
----------
|
|
stb : Signal
|
|
Instruction strobe. Asserted when the processor retires an instruction. Other signals are
|
|
only valid when ``stb`` is asserted.
|
|
"""
|
|
def __init__(self, *, name=None, src_loc_at=0):
|
|
layout = [
|
|
("stb", 1),
|
|
("insn", 64),
|
|
("order", 64),
|
|
("intr", 1),
|
|
]
|
|
|
|
# IA
|
|
|
|
layout += [
|
|
("cia", 64),
|
|
("nia", 64),
|
|
]
|
|
|
|
# GPRs
|
|
|
|
def gprf_port(access):
|
|
assert access in ("r", "w", "rw")
|
|
layout = [("index", 5)]
|
|
if "r" in access:
|
|
layout += [
|
|
("r_stb", 1),
|
|
("r_data", 64),
|
|
]
|
|
if "w" in access:
|
|
layout += [
|
|
("w_stb", 1),
|
|
("w_data", 64),
|
|
]
|
|
return layout
|
|
|
|
layout += [
|
|
("ra", gprf_port("rw")),
|
|
("rb", gprf_port("r")),
|
|
("rs", gprf_port("r")),
|
|
("rt", gprf_port("rw")),
|
|
]
|
|
|
|
# CR
|
|
|
|
layout += [
|
|
("cr", [
|
|
("r_stb", 8),
|
|
("r_data", 32),
|
|
("w_stb", 8),
|
|
("w_data", 32),
|
|
]),
|
|
]
|
|
|
|
# SPRs
|
|
|
|
layout += [
|
|
(spr_name, [
|
|
("r_stb", 1),
|
|
("r_data", 64),
|
|
("w_stb", 1),
|
|
("w_data", 64),
|
|
]) for spr_name in (
|
|
"lr",
|
|
"ctr",
|
|
"tar",
|
|
"xer",
|
|
"srr0",
|
|
"srr1",
|
|
"msr",
|
|
)
|
|
]
|
|
|
|
# Storage
|
|
|
|
def mem_port(access, *, depth_log2=64, width=64, granularity=8):
|
|
assert access in ("r", "rw")
|
|
assert depth_log2 in (32, 64)
|
|
assert width in (32, 64)
|
|
assert granularity in (8, 16, 32, 64)
|
|
assert width >= granularity
|
|
granularity_bits = max(1, log2_int(width // granularity))
|
|
layout = [
|
|
("addr", depth_log2 - granularity_bits),
|
|
("r_stb", granularity_bits),
|
|
("r_data", width),
|
|
]
|
|
if "w" in access:
|
|
layout += [
|
|
("w_stb", granularity_bits),
|
|
("w_data", width),
|
|
]
|
|
return layout
|
|
|
|
layout += [
|
|
("insn_mem", mem_port("r")),
|
|
("data_mem", mem_port("rw")),
|
|
]
|
|
|
|
super().__init__(layout, name=name, src_loc_at=1 + src_loc_at)
|