Elena Teica

According to our database, Elena Teica authored at least 4 papers between 2000 and 2001.

Collaborative distances:

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

2001

Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis.

Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan, Ranga Vemuri

Formal Methods Syst. Des., 2001

On the verification of synthesized designs using automatically generated transformational witnesses.

Elena Teica, Rajesh Radhakrishnan, Ranga Vemuri

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

Verification of Basic Block Schedules Using RTL Transformations.

Rajesh Radhakrishnan, Elena Teica, Ranga Vemuri

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

An approach to high-level synthesis system validation using formally verified transformations.

Rajesh Radhakrishnan, Elena Teica, Ranga Vemuri

Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000