Home › Publications › Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs.

Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs.

Publication Type:

Conference Paper

Authors:

Kroening, D.; Sharygina, N.

Source:

DATE, ACM, p.1325-1330 (2007)

ISBN:

978-3-9810801-2-4 

@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},
}