Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.
Yes. Solidify can correctly verify systems with multiple clocks that run at different frequencies. It will verify, for example, that a data transfer based on two different clocks will occur correctly without specifying the timing relationship of the two clocks. An explanation of multiple clocks is given in the Solidify Users Guide.
