Отмечается, что основной тенденцией развития САПР в настоящее время является снижение субъективной роли человека в процессе проетирования путем перехода к системам автоматического проектирования параллельных цифровых устройств. Важной задачей создания таких систем является разработка единых числовых форматов спецификации и визуализации проекта, обеспечивающих формализацию и оперативность оценки человеком корректности результатов автоматического проектирования. Приводится пример, поясняющий сематику формата СВМ и полученный на его основе Си-граф задачи.
