Incorporate testability-related structures such as core wrapper cells, x-bounding logic, and test points directly into the RTL.

Abstract: This paper considers the problem of controller synthesis of a fragment of signal temporal logic (STL) specifications for large-scale multi-agent systems, where the agents are dynamically ...