1
0
Fork 0

plic: make assertion comment right

This commit is contained in:
Megan Wachs 2017-06-30 14:25:09 -07:00 committed by GitHub
parent f31ae008f3
commit 8c92c50d85
1 changed files with 2 additions and 1 deletions

View File

@ -216,7 +216,8 @@ class TLPLIC(params: PLICParams)(implicit p: Parameters) extends LazyModule
(Bool(true), maxDevs(i))
},
RegWriteFn { (valid, data) =>
assert(completerDev === data.extract(log2Ceil(nDevices+1)-1, 0), "completerDev should be constant for all harts")
assert(completerDev === data.extract(log2Ceil(nDevices+1)-1, 0),
"completerDev should be consistent for all harts")
completerDev := data.extract(log2Ceil(nDevices+1)-1, 0)
completer(i) := valid && enables(i)(completerDev)
Bool(true)