| .model top | |
| .inputs a b clk | |
| .outputs o_dff | |
| .names a b a_and_b | |
| 11 1 | |
| .cname lut_a_and_b | |
| .param test_names_param "test_names_param_value" | |
| .attr test_names_attrib "test_names_param_attrib" | |
| .latch a_and_b dff_q re clk 0 | |
| .cname my_dff | |
| .param test_latch_param "test_latch_param_value" | |
| .attr test_latch_attrib "test_latch_param_attrib" | |
| .conn dff_q o_dff | |
| .end | |