10 search results - page 1 / 2 » Transforming Behavioral Specifications to Facilitate Synthes... |
ITC
1994
IEEE
13 years 8 months ago
1994
IEEE
EURODAC
1994
IEEE
13 years 8 months ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
ASPDAC
1995
ACM
13 years 8 months ago
1995
ACM
- We address the problem of transforming a behavioral specification so that synthesis of a testable implementation from the new specification requires significantly less area and ...
DAC
1994
ACM
13 years 8 months ago
1994
ACM
This paper introduces hot potato high level synthesis transformation techniques. These techniques add deflection operations in a computation in such a way that a specific goal is ...
ATVA
2009
Springer
13 years 8 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 ...