Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs.
Informazioni aggiuntive
Autori
Kröning D.,
Sharygina N.
Tipo
Contributo in atti di convegno
Anno
2007
Lingua
Inglese
Titolo atti di convegno
DATE
Editore
ACM
Pagine (o numero dell’articolo)
1325-1330
ISBN
978-3-9810801-2-4
