Tarvo Raudvere

System Level Techniques for Verification and Synchronization after Local Design Refinements

Tarvo Raudvere, Tarvo Raudvere, 2007 .

Verification of design decisions in ForSyDe

Axel Jantsch, Ingo Sander, Tarvo Raudvere, 2003, First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721).

Application and Verification of Local Nonsemantic-Preserving Transformations in System Design

Axel Jantsch, Ingo Sander, Tarvo Raudvere, 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

System level verification of digital signal processing applications based on the polynomial abstraction technique

Axel Jantsch, Ingo Sander, Tarvo Raudvere, 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..