Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Tarvo Raudvere

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2008
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcad/RaudvereSJ08
- ask others
Tarvo Raudvere, Ingo Sander, Axel Jantsch: Application and Verification of Local Nonsemantic-Preserving Transformations in System Design. IEEE Trans. on CAD of Integrated Circuits and Systems 27(6): 1091-1103 (2008)
2007
[c5]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/codes/RaudvereSJ07
- ask others
Tarvo Raudvere, Ingo Sander, Axel Jantsch: Synchronization after design refinements with sensitive delay elements. CODES+ISSS 2007: 21-26
[c4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/glvlsi/RaudvereSJ07
- ask others
Tarvo Raudvere, Ingo Sander, Axel Jantsch: A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops. ACM Great Lakes Symposium on VLSI 2007: 353-358
2005
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iccad/RaudvereSSJ05
- ask others
Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, Axel Jantsch: System level verification of digital signal processing applications based on the polynomial abstraction technique. ICCAD 2005: 285-290
2004
[c2]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/date/RaudvereSSJ04
- ask others
Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, Axel Jantsch: Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits. DATE 2004: 690-691
2003
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/codes/RaudvereSSJ03
- ask others
Tarvo Raudvere, Ingo Sander, Ashish Kumar Singh, Axel Jantsch: Verification of design decisions in ForSyDe. CODES+ISSS 2003: 176-181

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?