@inproceedings { conf/date/Kroeni,
	title = {Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs.},
	booktitle = {DATE},
	year = {2007},
	pages = {1325-1330},
	publisher = {ACM},
	organization = {ACM},
	type = {inproceedings},
	ISBN = {978-3-9810801-2-4},
	author = { Kroening, Daniel  and   Sharygina, Natasha}
	editor = {Rudy Lauwereins and Jan Madsen},
}