Parmi les sociétés qui procurent des outils de synthèse comportementale au niveau système, l’américain Bluespec joue un rôle particulier puisque la société travaille sur le difficile problème de la synthèse des blocs de contrôle. Alors que la plupart des autres acteurs, comme Mentor Graphics, Forte Design ou Celoxica fournissent des solutions de synthèse purement algorithmique.

…