266 search results - page 3 / 54 » Combining Software and Hardware Verification Techniques |
WETICE
2006
IEEE
13 years 11 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
ICCD
2007
IEEE
14 years 2 months ago
2007
IEEE
Software integrity and confidentiality play a central role in making embedded computer systems resilient to various malicious actions, such as software attacks; probing and tamper...
CL
2008
Springer
13 years 5 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
VLSI
2007
Springer
13 years 11 months ago
2007
Springer
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
AOSD
2009
ACM
14 years 1 days ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...