151 search results - page 9 / 31 » Processor Verification with hwBugHunt |
CASES
2005
ACM
14 years 27 days ago
2005
ACM
Computer security becomes increasingly important with continual growth of the number of interconnected computing platforms. Moreover, as capabilities of embedded processors increa...
TVLSI
2008
13 years 10 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
FMCAD
2008
Springer
14 years 14 days ago
2008
Springer
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
VLSID
2007
IEEE
14 years 11 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
DAC
2000
ACM
14 years 12 months ago
2000
ACM