Sciweavers

3516 search results - page 134 / 704
» Integrating Security Modeling into Embedded System Design
Sort
View
FDL
2005
IEEE
15 years 8 months ago
Implementation of a SystemC based Environment
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
Richard Hoffer, Frank Baszynski
ATVA
2007
Springer
134views Hardware» more  ATVA 2007»
15 years 7 months ago
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
Moonzoo Kim
116
Voted
ICCAD
1994
IEEE
116views Hardware» more  ICCAD 1994»
15 years 7 months ago
Design of heterogeneous ICs for mobile and personal communication systems
{ Mobile and personal communication systems form key market areas for the electronics industry of the nineties. Stringent requirements in terms of exibility, performance and power...
Gert Goossens, Ivo Bolsens, Bill Lin, Francky Catt...
EUROMICRO
2006
IEEE
15 years 6 months ago
A UML Profile and a Methodology for Real-Time Systems Design
Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering (MDE) is the emerging approach for the design of complex systems, strongly the usage of a...
Cesare Bartolini, Antonia Bertolino, Guglielmo De ...
ISCAS
2003
IEEE
96views Hardware» more  ISCAS 2003»
15 years 8 months ago
Interface design approach for system on chip based on configuration
Communication synthesis is an essential step in hardware/software co-synthesis: many embedded systems use automatic generation of interface for point to point communication or use...
Issam Maalej, Guy Gogniat, Mohamed Abid, Jean Luc ...