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.

How are the elastic circuits verified?

circuits elastic verified
0
Posted

How are the elastic circuits verified?

0

Elastix provides a complete flow to ensure the correctness of the circuit. An elastic circuit can be validated using a simulation setup similar to the one of synchronous circuits, reusing the same testbenches and assertions. Additionally, Elastix also provides a flow that guarantees a full coverage to catch both functional and timing-related bugs in the controllers and their interaction with the datapath. This flow is based on formal verification tools and is performed in two steps: Functional verification, aimed at proving the functional equivalence of the circuit with regard to the original synchronous one. Functional equivalence can be proven with existing equivalence checking tools. Additionally, the handshake protocol implemented by the Elastic Clocks is verified using Assertion-Based Verification tools, where the assertions guarantee the correct generation of clock events. Timing sign-off, aimed at checking that data are captured at the sequential elements without violating any s

Related Questions

Thanksgiving questions

*Sadly, we had to bring back ads too. Hopefully more targeted.