pretgroup / modular-code-generation Goto Github PK

Currently they're within a clocked process which causes additional delays. These mappings should instead be outside of any process and execute asynchronously.

Intra-location transitions should be lowest priority, but are currently highest priority.

If the system is a Hybrid Automata and has parameters, these are not handled correctly and operation is not correct.

This happens with the thermostat example.

This means that for some automata the transition is not taken since the value skips over the guard.

If a function has no parameters then it shouldn't have any brackets as per VHDL spec.

Add support in VHDL for the different execution paradigms that are supported in the config of HAML.

• Multiple inter-location transitions per tick
• Require one intra-location transition per tick

Comments are done using block comments, but should be single line for consistency

Should be CREATE_FP(0.0) rather than setting all bits to 0, looks nicer and more understandable.

It is sometimes useful to have functions at the network level for mapping signals.

The code and structure for functions already exists in automata, this would just require also adding it to networks.

Functions should be declared in entity so that they can be used in signal declarations.

Parameters that don't contain a decimal point lead to results being casted to int and so fractional parts are lost.

Outputs should be mapped at the end of the tick in networks, but are currently done at the start.

The spaces need to be escaped in the BASEDIR variable.

Should be replaced with:
BASEDIR ?= $(shell (pwd | sed 's/ /\\ /g'))

Integers were added to the HAML spec, but are not currently supported in the compiler (treats as REAL).