Options
Hardware Equivalence and Property Verification
Resource
in: Boolean Methods and Models in Mathematics, Computer Science and Engineering
Journal
in: Boolean Methods and Models in Mathematics, Computer Science and Engineering
Pages
-
Date Issued
2010
Date
2010
Author(s)
Jiang, Jie-Hong R.
Villa, Tiziano
Publisher
Cambridge University Press
Type
book
File(s)
No Thumbnail Available
Name
02.pdf
Size
23.22 KB
Format
Adobe PDF
Checksum
(MD5):c2b3f1203692f901aee5260e5fca3166