Насколько я понимаю, Вам нужен теоретический подход, "писабельная" информация. Не скажу за всех присутствующих, но я инженер-практик и многие сведения находятся только в сознании в форме близкой к интуиции, а вовсе не тексту статей.
Статьи, наверняка, по этим темам есть, но их коллекционированием не занимаюсь.
FPGA'шные САПРы как раз и оптимизируют параллельные конструкции, т.е. то, что такие САПР существуют - это однозначно
Почему разработчики систем повышенной надёжности плохо справляются с простыми проектами? :)