3902 search results - page 42 / 781 » Hardware Synthesis from C C Models |
RV
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We consider monitoring and checking formally specified properties in a network. We are addressing the problem of deploying the checkers on different network nodes that ...
ASAP
2007
IEEE
13 years 9 months ago
2007
IEEE
Commercial designs are integrating from 10 to 100 embedded functional and storage blocks in a single system on chip (SoC) currently, and the number is likely to increase significa...
ACSD
2006
IEEE
13 years 11 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
ASYNC
1999
IEEE
14 years 1 months ago
1999
IEEE
NADA
1998
Springer
14 years 1 months ago
1998
Springer
