87 search results - page 2 / 18 » Behavioral Specification of a Circuit Using SyncCharts: A Ca... |
CASES
2010
ACM
13 years 2 months ago
2010
ACM
Although cryptographic algorithms are designed to resist at least thousands of years of cryptoanalysis, implementing them with either software or hardware usually leaks additional...
CASES
2006
ACM
13 years 10 months ago
2006
ACM
Designers of SoCs with non-digital components, such as analog or MEMS devices, can currently use high-level system design languages, such as SystemC, to model only the digital par...
DATE
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— Modern integrated radio systems require highly linear analog/RF circuits. Two-tone simulations are commonly used to study a circuit’s nonlinear behavior. Very often, ...
DATE
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
ECMDAFA
2007
Springer
13 years 11 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...