Julia Dushina

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2001

3 Julia Dushina, Mike Benjamin, Daniel Geist: Semi-Formal Test Generation with Genevieve. DAC 2001: 617-622

2 Julia Dushina, Mike Benjamin, Daniel Geist: Semi-Formal Test Generation for a Block of Industrial DSP. VTS 2001: 131-137

2000

1 Dominique Borrione, Julia Dushina, Laurence V. Pierre: A compositional model for the functional verification of high-level synthesis results. IEEE Trans. VLSI Syst. 8(5): 526-530 (2000)

	2001
3		Julia Dushina, Mike Benjamin, Daniel Geist: Semi-Formal Test Generation with Genevieve. DAC 2001: 617-622
2		Julia Dushina, Mike Benjamin, Daniel Geist: Semi-Formal Test Generation for a Block of Industrial DSP. VTS 2001: 131-137
	2000
1		Dominique Borrione, Julia Dushina, Laurence V. Pierre: A compositional model for the functional verification of high-level synthesis results. IEEE Trans. VLSI Syst. 8(5): 526-530 (2000)

Coauthor Index

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Mike Benjamin	[2] [3]
2	Dominique Borrione	[1]
3	Daniel Geist	[2] [3]
4	Laurence Pierre (Laurence V. Pierre)	[1]