Evoluční postupy pro zvýšení testovatelnosti číslicových obvodů

Se stále rostoucí složitostí číslicových obvodů a zkracováním doby potřebné pro
uvedení daného množství nových obvodů na trh rostou snahy, jak co nejrychleji
a zároveň co nejspolehlivěji otestovat, zda vyrobený obvod plní či neplní funkci,
pro niž byl navržen. Existují proto automatizované techniky, které dokáží zjistit
míru testovatelnosti daného obvodu, odhalit obtížně testovatelné body
a navrhnout, jakou modifikací struktury obvodu lze dosáhnout zvýšení jeho
testovatelnosti. Tyto techniky tzv. analýzy a zvýšení testovatelnosti jsou
v rámci našeho projektu založeny na evolučních postupech, vyznačujích se zejména
tím, že rychle konvergují k hledanému optimálnímu řešení - v našem případě
k optimální (vzhledem k požadavkům návrháře) testovatelnosti obvodu.