472 search results - page 28 / 95 » Functional simulation using binary decision diagrams |
137
Voted
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
124
Voted
ATVA
2005
Springer
15 years 8 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
138
Voted
CAV
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...
112
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
Data correlation is a well-known problem that causes difficulty in VLSI testing. Based on a correlation metric, an efficient heuristic to select BIST registers has been proposed...
139
Voted
QEST
2010
IEEE
15 years 15 days ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...