VCEGAR: Verilog CounterExample Guided Abstraction Refinement.
Informazioni aggiuntive
Autori
Jain H.,
Kröning D.,
Sharygina N.,
Clarke E. M.
Tipo
Contributo in atti di convegno
Anno
2007
Lingua
Inglese
Titolo atti di convegno
Lecture Notes in Computer Science
Editore
Springer
Pagine (o numero dell’articolo)
583-586
ISBN
978-3-540-71208-4
