From 621dcfad451379fdcfad5f84c1d72f73023160f4 Mon Sep 17 00:00:00 2001 From: Michalis Pardalos Date: Wed, 1 Sep 2021 13:30:24 +0100 Subject: Give specific reasons when ApplyExternctrl fails --- src/hls/ApplyExternctrl.v | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src') 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. -- cgit