Tarvo Raudvere

According to our database, Tarvo Raudvere authored at least 7 papers between 2003 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

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

Tarvo Raudvere, Ingo Sander, Axel Jantsch

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

2007

System Level Techniques for Verification and Synchronization after Local Design Refinements.

Tarvo Raudvere

PhD thesis, 2007

A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops.

Tarvo Raudvere, Ingo Sander, Axel Jantsch

Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

Synchronization after design refinements with sensitive delay elements.

Tarvo Raudvere, Ingo Sander, Axel Jantsch

Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

2005

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

Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, Axel Jantsch

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

2004

Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits.

Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, Axel Jantsch

Proceedings of the 2004 Design, 2004

2003

Verification of design decisions in ForSyDe.

Tarvo Raudvere, Ingo Sander, Ashish Kumar Singh, Axel Jantsch

Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2003