Architecture Synthesis for Safety-Critical Systems

Ideas for improvements in order of "importance"

• generate constraints only if needed (done?)
• only use core location vars for the solver (done?)
• boolean channeling instad of reification for indicator variables
• store indicator vars in variable storage
• delay variable (and system hierarchy constraint) generation to when they are actually needed

Refactoring

• skip unneeded levels (Processor, Core) in input and constraints / variables
• allow properties for the board as well
• join RAM and ROM constraint classes
• reduce number of exception classes

For the next project

• symmetry breaking