 | 2008 |
|---|
| 6 |       | 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 |
|---|
| 5 | | 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 |
| 4 | | Tarvo Raudvere,
Ingo Sander,
Axel Jantsch:
Synchronization after design refinements with sensitive delay elements.
CODES+ISSS 2007: 21-26 |
| 2005 |
|---|
| 3 |  | 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 |
|---|
| 2 | | Tarvo Raudvere,
Ashish Kumar Singh,
Ingo Sander,
Axel Jantsch:
Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits.
DATE 2004: 690-691 |
| 2003 |
|---|
| 1 | | Tarvo Raudvere,
Ingo Sander,
Ashish Kumar Singh,
Axel Jantsch:
Verification of design decisions in ForSyDe.
CODES+ISSS 2003: 176-181 |
