176 search results - page 2 / 36 » Efficient Symbolic Simulation of Low Level Software |
129
click to vote
CODES
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we propose an effective automatic generation approach for a Cycle-Count Accurate Memory Model (CCAMM) from the Clocked Finite State Machine (CFSM) of the Cycle Accu...
115
click to vote
FPL
2005
Springer
15 years 9 months ago
2005
Springer
The aim of the PhD thesis is the development of systematic methodologies both for hardware and software level for designing low-energy and performance efficient reconfigurable sys...
148
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
The ever increasing complexity and heterogeneity of modern System-on-Chip (SoC) architectures make an early and systematic exploration of alternative solutions mandatory. Efficien...
123
Voted
ACSD
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...
133
click to vote
VTS
2003
IEEE
15 years 9 months ago
2003
IEEE
: This paper presents a novel, low cost technique based on implications to identify untestable bridging faults in sequential circuits. Sequential symbolic simulation [1] is first p...