Julia Dushina

According to our database, Julia Dushina authored at least 6 papers between 1998 and 2003.

Collaborative distances:

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

2003

Semi-formal test generation and resolving a temporal abstraction problem in practice: industrial application.

Julia Dushina, Mike Benjamin, Daniel Geist

Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

2001

Semi-Formal Test Generation for a Block of Industrial DSP.

Julia Dushina, Mike Benjamin, Daniel Geist

Proceedings of the 19th IEEE VLSI Test Symposium (VTS 2001), Test and Diagnosis in a Nanometric World, 29 April, 2001

Semi-Formal Test Generation with Genevieve.

Julia Dushina, Mike Benjamin, Daniel Geist

Proceedings of the 38th Design Automation Conference, 2001

2000

A compositional model for the functional verification of high-level synthesis results.

Dominique Borrione, Julia Dushina, Laurence V. Pierre

IEEE Trans. Very Large Scale Integr. Syst., 2000

1999

Vérification formelle des résultats de la synthèse de haut niveau. (Formal verification of high level synthesis results).

Julia Dushina

PhD thesis, 1999

1998

Formalization of Finite State Machines with Data Path for the Verification of High-Level Synthesis.

Dominique Borrione, Julia Dushina, Laurence Pierre

Proceedings of the 11th Annual Symposium on Integrated Circuits Design, 1998