The asm_test statement is used to cause conditional state transfer, and to activate conditional outputs. The format of the asm_test statement is as follows.
| asm_test | test_name,(next_statements),c=(conditions) |
Any number of conditions may be specified, and each condition may have the value true or false. The list of next_statements must contain one statement name for each combination of condition states. That is, if n conditions are specified, then 2n next_statement names must be specified. If one condition is specified, then the false next_statement name must come first, and the true next_statement name must come second. In general, you can determine the order of the next_statement names by treating the combination of condition values as a string of binary digits, with zero represented by false and one represented by true. The next_statement names must be specified in ascending numeric sequence. Thus for two conditions, the next_statement names must be specified in the order FF, FT, TF, and TT.
Each statement name in the next_statement list must be the name of another statement. An asm_state statement is named to create a conditional state transfer, an asm_cond statement to create a conditional output, and another asm_test statement is named to create a chain of tests.