TIPSY is a lightweight C++ library for the introduction of concurrency and time in an executable model of an electronic system. Its key property is flexibility.

One second. You are being forwarded to the new Adopt pages. Go there now.