diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-01 13:30:24 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-01 13:34:24 +0100 |
| commit | 621dcfad451379fdcfad5f84c1d72f73023160f4 (patch) | |
| tree | a682aa192fbedba6284c0111031ba625f180ce2a | |
| parent | 5e8e2ae04539121366bb34128f4a9d8bbdf930cc (diff) | |
| download | vericert-621dcfad451379fdcfad5f84c1d72f73023160f4.tar.gz vericert-621dcfad451379fdcfad5f84c1d72f73023160f4.zip | |
Give specific reasons when ApplyExternctrl fails
| -rw-r--r-- | src/hls/ApplyExternctrl.v | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/hls/ApplyExternctrl.v b/src/hls/ApplyExternctrl.v index bd48adb..8b24336 100644 --- a/src/hls/ApplyExternctrl.v +++ b/src/hls/ApplyExternctrl.v @@ -185,7 +185,11 @@ Section APPLY_EXTERNCTRL. MORD WFRAM WFPARAMS) - | _, _, _, _, _ => Error (Errors.msg "ApplyExternctrl") + | right _, _, _, _, _ => Error (Errors.msg "ApplyExternctrl: More than 2^32 datapath states") + | _, right _, _, _, _ => Error (Errors.msg "ApplyExternctrl: More than 2^32 controlpath states") + | _, _, right _, _, _ => Error (Errors.msg "ApplyExternctrl: Incorrect ordering of control registers") + | _, _, _, right _, _ => Error (Errors.msg "ApplyExternctrl: Parameter registers conflict with control registers") + | _, _, _, _, None => Error (Errors.msg "ApplyExternctrl: Ram address register conflicts with control registers") end. End APPLY_EXTERNCTRL. |