Assertion list for term "run in the fpga".

Results from Ascent++: 1
design CapableOfrun in the fpga 0.42