diff options
Diffstat (limited to 'src/sail_lib.ml')
| -rw-r--r-- | src/sail_lib.ml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/sail_lib.ml b/src/sail_lib.ml index 44dd4ac5..4e78507f 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -433,6 +433,16 @@ let read_ram (addr_size, data_size, hex_ram, addr) = in read_byte data_size +let tag_ram : bool RAM.t = RAM.create 256 + +let write_tag (addr, tag) = + let addri = uint addr in + RAM.add tag_ram addri tag + +let read_tag addr = + let addri = uint addr in + try RAM.find tag_ram addri with Not_found -> false + let rec reverse_endianness bits = if List.length bits <= 8 then bits else reverse_endianness (drop 8 bits) @ (take 8 bits) |