Minipolis burmarrad. Sa00818. Systemverilog assertions. Petite fire stack.