riscv-extensions/extensions.sail_project at main · Daniel-A-W/riscv-extensions · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
variable RISCV_DIR = "sail-riscv/model"
variable EXT_EXEC_WRAPPER = "spec_wrapper.sail"
variable ALL_EXTS = false
variable OPTIONAL_EXTENSIONS = if $ALL_EXTS then extensions else mandatory_extensions

util {
	requires riscv_core, riscv
	files src/extensions_prelude.sail
}

sem_extensions {
requires $OPTIONAL_EXTENSIONS, util
Align {
	requires riscv_core, riscv
	files
		src/decompress_insts.sail,
		src/align_translate.sail
}

Cache {
	requires riscv_core, riscv_exceptions, riscv, Align,
	before riscv_postlude
	files
		src/cache_extend.sail,
		src/cache_translate.sail,
		if $ALL_EXTS then src/cache_translate_full.sail else src/cache_translate_end.sail
}

Speculation {
	requires riscv_core, riscv_exceptions, riscv, riscv_postlude, Cache, Align
	files
		src/transient_translate.sail,
		src/spec_translate.sail
}

Timer {
	requires riscv_core, riscv_exceptions, riscv, riscv_postlude, Cache, Align, Speculation
	files src/time_translate.sail
}
}


wrapper {
	requires riscv_core, riscv, util, sem_extensions
	files
		src/$EXT_EXEC_WRAPPER
}