424 search results - page 44 / 85 » The Modeling Pyramid: From Design to Production |
ATVA
2009
Springer
14 years 1 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
CACM
1998
13 years 9 months ago
1998
The long range goal of the “Virtual Design Team” (VDT) research program is to develop computational tools to analyze decision making and communication behavior and thereby to ...
DAC
2009
ACM
14 years 4 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
INTERSPEECH
2010
13 years 4 months ago
2010
The perceived quality of a synthetic visual speech signal greatly depends on the smoothness of the presented visual articulators. This paper explains how concatenative visual spee...
NHM
2010
13 years 4 months ago
2010
With the depletion of oil reserves and increase in oil price, the enhanced oil recovery methods such as polymer flooding to increase oil production from waterflooded fields are bec...