Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs.
Additional information
Authors
Kröning D.,
Sharygina N.
Type
Article in conference proceedings
Year
2007
Language
English
Conference proceedings
DATE
Publisher
ACM
Pages (or article number)
1325-1330
ISBN
978-3-9810801-2-4
