899 search results - page 1 / 180 » A Temporal Language for SystemC |
FMCAD
2008
Springer
13 years 7 months ago
2008
Springer
We describe a general approach for defining new temporal specification languages, and adopting existing languages, for SystemC. We define the concept of "underlying trace"...
MEMOCODE
2010
IEEE
13 years 3 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
ISCAS
2003
IEEE
13 years 10 months ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
FDL
2004
IEEE
13 years 9 months ago
2004
IEEE
SBCCI
2003
ACM
13 years 10 months ago
2003
ACM
There has been a lot of discussion, and a lot of confusion, about the various existing and new design languages recently. SystemC, SystemVerilog, Verilog2005, e, Vera, PSL/Sugar, ...