11 search results - page 1 / 3 » Process algebraic verification of SystemC codes |
ACSD
2008
IEEE
13 years 10 months ago
2008
IEEE
FDL
2005
IEEE
13 years 10 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
FM
2008
Springer
13 years 5 months ago
2008
Springer
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
JSS
2010
12 years 11 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
CODES
2005
IEEE
13 years 10 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...