1640 search results - page 3 / 328 » Design of Synchronous Action Systems |
LCTRTS
2010
Springer
13 years 2 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
EDBT
2008
ACM
13 years 6 months ago
2008
ACM
Testing peer-to-peer (P2P) systems is difficult because of the high numbers of nodes which can be heterogeneous and volatile. A test case may be composed of several ordered action...
MEMOCODE
2005
IEEE
13 years 10 months ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...
VTC
2008
IEEE
13 years 11 months ago
2008
IEEE
Spectrum-overlay scenarios for wide-band multi-carrier (MC) systems bring new technical challenges along that must be considered during the system design. In such scenarios, the r...
VTC
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— Spectrum-overlay scenarios for wideband multicarrier (MC) systems bring new technical challenges that must be considered during the system design. In such a scenario, t...