[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] [Need help debugging] - Getting TLC runtime exception

I am trying to build specification for ARM AXI protocol starting from some very basic specification gradually extending it.
I've started defining basic channel (axi_channel) and then simple interface containing data and address channel (axi_base) . After trying to run model I've got runtime exception and I don't know how to advance . Relevant files are attached


1) Error screenshot

2) Files + model

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAB%3D60u6g4hN%3D4gPv5%3D0QU4ptpBfnGK8JpxnT5nB4wjRzgPUfJg%40mail.gmail.com.

Attachment: axi_base_modeling.tar.gz
Description: GNU Zip compressed data