372 search results - page 27 / 75 » Transaction Based Modeling and Verification of Hardware Prot... |
ISQED
2010
IEEE
14 years 11 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
94
Voted
ESAW
2008
Springer
14 years 11 months ago
2008
Springer
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
FORTE
1998
14 years 11 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
EUROMICRO
1998
IEEE
15 years 1 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...