These designs are mostly available in Hardware Description Languages (HDL) at various abstraction levels, e.g. gate-level, data-flow ... development flow. Testing, dependability analysis, and fault ...