> In fact, std::span is a class template, and somebody would suggest to make the function that processes the generic memory blob a function template! Really? Something like this?? Yes.
What is your (company's) motivation behind using non-deterministic tools for "verification" instead of actually verifying designs using formal methods?
> In fact, std::span is a class template, and somebody would suggest to make the function that processes the generic memory blob a function template! Really? Something like this?? Yes.
What is your (company's) motivation behind using non-deterministic tools for "verification" instead of actually verifying designs using formal methods?