macro_rules! hpanic {
    ($fstring: expr, $($arg:expr),+) => { ... };
    ($string: expr) => { ... };
}
Expand description

Panic macro

Syntax

<panic> := hpanic!(cond, string) | hpanic!(cond, format_string, arg1, arg2, …)

This macro will be compiled as below.

if (true {& current path condition}) begin
   $fdisplay(format_string, arg1, arg2, ...);
   $finish;
end

Formatting

For the format string, use the syntax of verilog $display system task.

NOTE: Currently we do not support printing composite types like structs, tuples or arrays.