222 search results - page 24 / 45 » Efficient assertion based verification using TLM |
100
click to vote
FMCAD
2009
Springer
15 years 3 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
DAC
2000
ACM
16 years 25 days ago
2000
ACM
We recently introduced symbolic timing simulation (STS) using data-dependent delays as a tool for verifying the timing of fullcustom transistor-level circuit designs, and for the ...
128
click to vote
WOA
2003
15 years 1 months ago
2003
— This paper describes a methodology to design a workflow management system where a set of intelligent software agents composes an interactive scenario. The Workflow Management C...
115
click to vote
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
128
click to vote
TCOS
2010
14 years 6 months ago
2010
With the increasing wealth of digital information stored on computer systems today, security issues have become increasingly important. In addition to attacks targeting the softwar...