Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog
Informazioni aggiuntive
Autori
Jain H.,
Kröning D.,
Sharygina N.,
Clarke E. M.
Tipo
Articolo pubblicato in rivista scientifica
Anno
2008
Lingua
Inglese
Periodico
IEEE Trans. on CAD of Integrated Circuits and Systems
Volume
27
Numero ( Mese )
2
Pagine (o numero dell’articolo)
366-379
