528 search results - page 3 / 106 » Construction of concrete verification models from C |
DAC
2006
ACM
14 years 6 months ago
2006
ACM
Modern integrated circuits (ICs) are becoming increasingly complex. The complexity makes it difficult to design, manufacture and integrate these high-performance ICs. The advent o...
ISORC
2000
IEEE
13 years 8 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
FDL
2005
IEEE
13 years 11 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...
JOT
2006
13 years 5 months ago
2006
In this paper, it is suggested an approach and a design pattern for developing object-oriented models that need to be persistent, including the databases of moderate size, with us...
CAINE
2009
13 years 6 months ago
2009
We have constructed a synthetic in silico model for representing the dynamics of leukocyte rolling, activation, and adhesion on substrate-coated flow chambers. Software components...