1159 search results - page 133 / 232 » Binary Decision Graphs |
134
click to vote
ENTCS
2006
15 years 5 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
149
Voted
ENTCS
2007
15 years 5 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
123
click to vote
MST
2006
15 years 5 months ago
2006
The "regularity" of a Boolean function can be exploited for decreasing its minimization time. It has already been shown that the notion of autosymmetry is a valid measure...
171
click to vote
ICCAD
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
191
Voted
WER
2010
Springer
15 years 3 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...