217 search results - page 15 / 44 » POSIX modeling in SystemC |
142
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
144
click to vote
ADAEUROPE
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents the design and implementation of RT-EP (Real-Time Ethernet Protocol), which is a software-based token-passing Ethernet protocol for multipoint communications in...
154
click to vote
USENIX
2001
15 years 6 months ago
2001
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
132
click to vote
GLVLSI
2003
IEEE
15 years 10 months ago
2003
IEEE
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
144
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
SystemC will become more and more important for the design of digital circuits from the specification down to the RT-Level. Complex systems often contain analog components. This p...