Show simple item record

dc.contributor.author
Jain, Himanshu
dc.contributor.author
Kroening, Daniel
dc.contributor.author
Sharygina, Natasha
dc.contributor.author
Clarke, Edmund
dc.date.accessioned
2017-06-09T19:36:46Z
dc.date.available
2017-06-09T19:36:46Z
dc.date.issued
2005
dc.identifier.isbn
1-59593-058-2
dc.identifier.other
10.1145/1065579.1065697
dc.identifier.uri
http://hdl.handle.net/20.500.11850/46609
dc.language.iso
en
dc.publisher
The Association for Computing Machinery
dc.subject
Predicate Abstraction
dc.subject
Verilog
dc.subject
SAT
dc.title
Word level predicate abstraction and refinement for verifying RTL verilog
dc.type
Conference Paper
ethz.book.title
Proceedings 2005
ethz.pages.start
445
ethz.pages.end
450
ethz.event
42nd Design Automation Conference, DAC 2005
ethz.event.date
June 13-17, 2005
ethz.notes
Date of Current Version 26 September 2005.
ethz.identifier.nebis
005011058
ethz.publication.place
New York, New York
ethz.publication.status
published
ethz.leitzahl
03686 - Kröning, Daniel
ethz.leitzahl.certified
03686 - Kröning, Daniel
ethz.date.deposited
2017-06-09T19:38:34Z
ethz.source
ECIT
ethz.identifier.importid
imp59364f008004352831
ethz.ecitpid
pub:76581
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-18T11:30:18Z
ethz.rosetta.lastUpdated
2017-07-18T11:30:18Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Word%20level%20predicate%20abstraction%20and%20refinement%20for%20verifying%20RTL%20verilog&rft.date=2005&rft.spage=445&rft.epage=450&rft.au=Jain,%20Himanshu&Kroening,%20Daniel&Sharygina,%20Natasha&Clarke,%20Edmund&rft.isbn=1-59593-058-2&rft.genre=proceeding&rft_id=info:doi/1-59593-058-2&rft.btitle=Proceedings%202005
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record